Search results for: Martin Wirsing
Theoretical Computer Science > 2018 > 741 > C > 32-43
Lecture Notes in Computer Science > CAAP'83 > 1-34
Lecture Notes in Computer Science
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 1-24
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 423-432
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Case Studies and Patterns > 719-736
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 341-357
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Mobile Computing > 87-101
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > Engineering of Software-Intensive Systems: State of the Art and Research Challenges > 1-44
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Middleware and Meta-architectures > 241-261
Lecture Notes in Computer Science > Global Computing. Programming Environments, Languages, Security, and Analysis of Systems > 1-24
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 82-117
Lecture Notes in Computer Science > Formal Syntax and Semantics of Java > Semantic Approaches > 157-200