Martin Wirsing

Q: What Schools Are Affiliated With Martin Wirsing

Martin Wirsing is affiliated with the following schools: University of Passau, Ludwig Maximilian University of Munich, Technical University of Munich, Paris Diderot University

Martin Wirsing's AcademicInfluence.com Rankings

Martin Wirsing

Computer Science

#2109

World Rank

#2191

Historical Rank

Software Engineering

#100

World Rank

#100

Historical Rank

Database

#6403

World Rank

#6636

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Martin Wirsing's Degrees

PhD Computer Science Technical University of Munich

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Martin Wirsing Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Biography Wirsing studied Mathematics at Ludwig-Maximilians-Universität München and at Université Paris 7, obtaining the Diplom in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the Université Paris 7. Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic . In 1975-1983 he was a research assistant at the chair of F.L. Bauer at Technical University of Munich where in 1984 he completed his Habilitation in Informatics; in 1985 Wirsing became full professor and Chair of Informatics at the University of Passau and in 1992 he returned to LMU as the Chair of Programming and Software Engineering. Several years he served as Dean, Head of Department and Vice President of the Senat of LMU. Since 2010 he is Vice President for Teaching and Studies of LMU. In July 2016, he was awarded a Degree of Doctor of Science by Royal Holloway, University of London.

(See a Problem?)

Martin Wirsing's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Algebraic Specification (1991) (741)
Extraction of Structured Programs from Specification Proofs (1999) (320)
A Kernel Language for Algebraic Specification and Implementation (1983) (223)
Semantic-Based Development of Service-Oriented Systems (2006) (192)
Structured Algebraic Specifications: A Kernel Language (1986) (170)
The Munich Project CIP (1988) (155)
The Munich Reference Model for Adaptive Hypermedia Applications (2002) (154)
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (1985) (153)
Formal Syntax and Semantics of Java (1999) (122)
Software Engineering for Adaptive Hypermedia Applications (2001) (106)
An Event-Based Structural Operational Semantics of Multi-Threaded Java (1999) (99)
Behavioural and Abstractor Specifications (1995) (93)
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions (2008) (78)
On the algebraic definition of programming languages (1987) (76)
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (2005) (74)
Software Engineering for Collective Autonomic Systems (2015) (67)
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (2011) (66)
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (2003) (57)
Extending Activity Diagrams to Model Mobile Systems (2002) (55)
A Component Model for Architectural Programming (2006) (54)
Existential Quantifiers in Abstract Data Types (1979) (53)
A Systematic Study of Models of Abstract Data Types (1984) (52)
Semantics of Nondeterministic and Noncontinuous Constructs (1978) (51)
Towards a System Model for Ensembles (2011) (50)
Algebraic Specifications of Reachable Higher-Order Algebras (1988) (50)
What Is a Multi-modeling Language? (2009) (47)
Stable Availability under Denial of Service Attacks through Formal Patterns (2012) (47)
Engineering of Software-Intensive Systems: State of the Art and Research Challenges (2008) (46)
Algebraic Implementations Preserve Program Correctness (1986) (46)
A Heterogeneous Approach to UML Semantics (2008) (45)
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (2001) (44)
ASCENS: Engineering Autonomic Service-Component Ensembles (2011) (43)
Abstract Data Types as Lattices of Finitely Generated Models (1980) (43)
Programming in a Wide Spectrum Language: A Collection of Examples (1981) (43)
Implementation of Parameterised Specifications (Extended Abstract) (1982) (43)
On the Power of Algebraic Specifications (1981) (42)
On the Parameterized Algebraic Specification of Concurrent Systems (1985) (41)
On the Algebraic Specification of Nondeterministic Programming Languages (1981) (39)
Structured Specifications: Syntax, Semantics and Proof Calculus (1993) (38)
Proof Systems for Structured Specifications with Observability Operators (1997) (37)
Algebraic Specification Languages: An Overview (1994) (36)
Approximate Bisimilarity (2000) (35)
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics (1997) (33)
Programming languages as abstract data types (1980) (33)
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112) (2014) (32)
Algebraic Methods: Theory, Tools and Applications (1989) (30)
Timed Rewriting Logic with an Application to Object-Based Specification (1997) (30)
AGILE: Software Architecture for Mobility (2002) (30)
Algebraic description of reusable software components (1988) (30)
A Rewriting Logic Framework for Soft Constraints (2007) (30)
On the Specification and Verification of Model Transformations (2009) (29)
An Analysis of Semantic Models for Algebraic Specifications (1982) (29)
UML for Global Computing (2003) (29)
Algebraic Definition of a Functional Programming Language and Its Semantic Models (1983) (28)
Partial abstract types (1982) (28)
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase (2013) (28)
Reasoning (on) Service Component Ensembles in Rewriting Logic (2014) (27)
Which Soft Constraints do you Prefer? (2009) (27)
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems (2015) (26)
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks (2010) (25)
The Agent Component Approach, Combining Agents, and Components (2003) (25)
Specification and refinement of mobile systems in MTLA and mobile UML (2006) (25)
Correct Realization of Interface Constraints with OCL (1999) (24)
On hierarchies of abstract data types (1983) (23)
Statistical Model Checking for Composite Actor Systems (2012) (23)
A Method for the Development of Correct Software (1995) (23)
Soft Constraints for Lexicographic Orders (2013) (22)
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (2008) (21)
MENU - An Example for the Systematic Reuse of Specifications (1989) (21)
An Object-Oriented Airport: Specification and Refinement in Maude (1994) (21)
Characterizing Behavioural Semantics and Abstractor Semantics (1994) (21)
Computing the Cost of Business Processes (2009) (21)
Sensoria - Software Engineering for Service-Oriented Overlay Computers (2011) (21)
Adapting Proofs-as-Programs - The Curry-Howard Protocol (2005) (21)
On the Algebraic Specification of Databases (1982) (19)
MultiMedia Instruction in Safe and Secure Systems (2002) (19)
Radical Innovations of Software and Systems Engineering in the Future (2004) (19)
Semantic Relations in Programming Languages (1980) (18)
Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986 (1987) (17)
Software Engineering for Ensembles (2008) (17)
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly (1996) (17)
An introduction ASL (1987) (17)
On the Algebraic Extensions of Abstract Data Types (1981) (17)
Interface theories for concurrency and data (2011) (16)
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations (2016) (16)
A Modular Framework for Specification and Implementation (1989) (16)
On Relations Between Programs (1980) (16)
Algebraic Specification with Built-in Domain Constructions (1988) (15)
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) (2014) (15)
Completeness of many-sorted equational logic revisited (1984) (15)
On different approaches to abstract data types and the existence of recursive models (1979) (15)
Rigorous engineering of collective adaptive systems: special section (2020) (14)
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (2012) (14)
An Object-Oriented Algebraic Steam-Boiler Control Specification (1995) (14)
Modelling the CoCoME with the Java/AComponent Model (2007) (14)
KORSO: A Methodology for the Development of Correct Software (1994) (13)
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude (2015) (13)
Towards an Integration of Message sequence Charts and Timed Maude (2001) (13)
Refining Mobile UML State Machines (2004) (12)
Property-driven development (2004) (12)
OnPlan: A Framework for Simulation-Based Online Planning (2015) (12)
Invited Talk: Algebraic State Machines (2000) (12)
A heterogeneous approach to service-oriented systems specification (2010) (12)
Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (1991) (12)
Relational Specifications and Observational Semantics (1986) (11)
Mobile UML Statecharts with Localities (2004) (11)
Model-Checking Helena Ensembles with Spin (2015) (11)
An Ontology for Secure Web Applications (2015) (11)
Generalized Heterogeneous Algebras and Partial Interpretations (1983) (11)
Specification Languages (1999) (11)
Issues in Engineering Self-Aware and Self-Expressive Ensembles (2015) (10)
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation (2015) (10)
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112) (2014) (10)
Observational Specification: A Birkhoff Theorem (1984) (10)
Evaluation of Engineering Approaches in the Secure Software Development Life Cycle (2014) (10)
View Consistency in Software Development (2002) (10)
Hyper-UML Specification and Modeling of Multimedia and Hypermedia Applications in Distributed Systems (1999) (10)
Bisimulation in Algebraic Specifications (1989) (10)
Program Development: From Enumeration to Backtracking (1980) (9)
Dynamic Logic for Ensembles (2018) (9)
First-Order Constrained Lambda Calculus (1996) (9)
Service Engineering : The Sensoria Model Driven Approach (2008) (9)
Applying Test-First Programming and Iterative Development in Building an E-Business Application (2002) (9)
Crypt-equivalent algebraic specifications (1988) (9)
Specifying Component Invariants with OCL (2001) (9)
Dependent Types Considered Necessary for Specification Languages (1990) (9)
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude (2010) (8)
Financial Evaluation and Optimization of Business Processes (2013) (8)
Reusable Specification Components (1988) (8)
Making Components Move: A Separation of Concerns Approach (2002) (8)
Constraint-Muse: A Soft-Constraint Based System for Music Therapy (2009) (8)
SENSORIA: Engineering for Service-Oriented Overlay Computers (2007) (8)
A Formal Method for the Systematic Reuse of Specification Components (1991) (8)
A Service-Oriented UML Profile with Formal Support (2009) (8)
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge (2019) (8)
Using Goals for Flexible Service Orchestration (2007) (7)
Continuous abstract data types: basic machinery and results (1985) (7)
Using goals for flexible service orchestration: a first step (2007) (7)
Goal-Oriented and Procedural Service Orchestration ? A Formal Comparison (2005) (7)
Software Engineering for Collective Autonomic Systems : The ASCENS Approach (2015) (7)
Evaluation of Cost Based Best Practices in Business Processes (2011) (7)
Timed Rewriting Logic for the Specification of Time-Sensitive Systems (1997) (7)
A contract-based approach to adaptivity (2011) (7)
Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19-21, 1987 Proceedings (1987) (7)
Methods of Programming (1991) (7)
Proofs in Structured Specifications (1991) (7)
Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective (1991) (7)
A Formal Approach to Requirements Engineering (Invited Paper) (1993) (6)
Formalizing and Executing Message Sequence Charts via Timed Rewriting (1998) (6)
Proof Normalization of Structured Algebraic Specifications Is Convergent (1998) (6)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II (2022) (6)
Service Specification and Matchmaking Using Description Logic (2008) (6)
Nondeterministic three-valued logic: Isotonic and guarded truth-functions (1983) (6)
Algebraic Specification: Semantics, Parameterization and Refinement (1989) (6)
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers (2004) (5)
Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science (1987) (5)
EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues (1997) (5)
Ultra-loose algebraic specifications (1988) (5)
The KnowLang Framework for Knowledge Modeling for SCE Systems (2012) (5)
Consistency checking in an infrastructure for large-scale generative programming (2004) (5)
A system for reasoning within and about algebraic specifications (1982) (5)
Proof Systems for Struvtured Algebraic Specifications: An Overview (1997) (5)
Assembly Theories for Communication-Safe Component Systems (2014) (5)
Developing Physiological Computing Systems: Challenges and Solutions (2012) (5)
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract) (1981) (5)
Comparing goal-oriented and procedural service orchestration (2010) (5)
SecEval: An Evaluation Framework for Engineering Secure Systems (2014) (5)
UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications) (2008) (4)
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction (2014) (4)
Polynomials - The Specification, Analysis and Development of an Abstract Data Type (1980) (4)
Concurrent Object-Oriented Design Specification in SPECTRUM (1994) (4)
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction (2016) (4)
On the Algebraic Specification of Finitary Infinite (1982) (4)
Reconciling WhiteBox and Black-Box Perspectives on Behavioural Self-Adaptation ? (2015) (4)
Rigorous Engineering of Collective Adaptive Systems Track Introduction (2016) (4)
Verifying a compiler optimization for Multi-Threaded Java (1997) (4)
A Calculus of Higher-Order Parameterization for Algebraic Specifications (1995) (4)
Recursive equations in higher-order process calculi (2001) (4)
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence (1979) (4)
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents (2018) (4)
Fundamental approaches to software engineering : 12th International Conference, Fase 2009, held As part of the joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings (2009) (3)
On Declassi cation and the Non-Disclosure Policy (2005) (3)
ENSORIA Process Calculi for Service-Oriented Computing ? (2006) (3)
OCL Component Invariants ? (2001) (3)
Correct Software: From Experiments to Applications (1995) (3)
A Systematic Approach to Developing Service-Oriented Systems (2005) (3)
On Refinement of Mobile UML State Machines (2004) (3)
Algebraic methodology and software technology: 5th International Conference AMAST'96, Munich, Germany, July 1-5, 1996 : proceedings (1996) (3)
An approach to the DIN Kernel Lisp definition (1992) (3)
Generalized Heterogeneous Algebras (1983) (3)
Software-Verifikation (2017) (2)
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition (2018) (2)
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy (2011) (2)
Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF (1996) (2)
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings (1991) (2)
Service Specification and Matchmaking using Description Logic ? An Approach Based on Institutions (2008) (2)
Implementation of Parameterized Hierarchical Specifications (1982) (2)
The Meaning of Adaptation: Mastering the Unforeseen? (2018) (2)
Cálculo lambda de primer orden con constraints y la propiedad church-rosser (1995) (2)
Recent Trends in Algebraic Development Techniques (2002) (2)
Programs, Proofs and Parametrized Specifications (2001) (2)
A SOC-Based Formal Specification and Verification of Hybrid Systems (2014) (2)
Behavioural and abstractor specifications revisited (2018) (2)
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings (1992) (2)
Fundamental Approaches to Software Engineering (2009) (1)
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411) (2021) (1)
Method of Programming, Selected Papers on the CIP-Project (1991) (1)
Towards Living Cooperative Information Systems for Virtual Organizations Using Living Systems Theory (2006) (1)
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems (1999) (1)
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking (2020) (1)
SensoriaProcess Calculi for Service-Oriented Computing (2006) (1)
Epistemic Ensembles (2022) (1)
An Ontology for a TripTych Formal Software Development (2003) (1)
Towards a Formal Specification for the AgentComponent (2003) (1)
Autonomous and Adaptive Web Services (2007) (1)
Answer to Baker's remarks of July 1991 on version 1.0 (1992) (1)
8 Specification Languages (1994) (1)
Algebraic specification of the abstract data type "Continuum" without hidden operations (1986) (1)
Building a Modal Interface Theory for Concurrency and Data (2010) (1)
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987] (1987) (1)
Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451) (2021) (1)
Small Universal Post Systems (1979) (1)
On methods and tools for rigorous system design (2018) (1)
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization (2015) (1)
Type-Checking AHEAD ∗ (2003) (1)
Sensoria Patterns (2011) (0)
A Component-Based Approach to Adaptive User-Centric Pervasive Applications (2010) (0)
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives (2022) (0)
Dagstuhl Seminar on Object Orientation with Parallelism and Persistence (2008) (0)
Service Specification and Matchmaking using Description Logic (extended abstract) (2009) (0)
Foundations of Global Computing, 20.-25. February 2005 (2006) (0)
7 Sensoria : Engineering for Service-Oriented Overlay Computers (2008) (0)
Part I : Informal survey of the language (1985) (0)
8 Speciication Languages (1999) (0)
Proceedings of the 8th International Conference on Knowledge Science, Engineering and Management - Volume 9403 (2015) (0)
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007 (2007) (0)
A Contract-Based Approach to Adaptivity in User-Centric Pervasive Applications ? (2009) (0)
Part III : Formal definition of the language (1985) (0)
Proceedings of the Second international conference on Theoretical Aspects of Computing (2005) (0)
Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (1995) (0)
Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings (2004) (0)
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991 (1995) (0)
In memory of Heinrich Hussmann, long-time friend and SoSyM editor (2023) (0)
Entailment for Structured Specifications (2017) (0)
InterLink International Cooperation Activities in Future and Emergine ICTs (2009) (0)
Crypt-equivalent algebraic specifications (1988) (0)
Algebraic Methodology and Software Technology (1995) (0)
Specification and Semantics (Dagstuhl Seminar 9628) (2021) (0)
Edinburgh Research Explorer Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (2018) (0)
The Application of Continuous Time SRML (2020) (0)
Specification Languages versus Programming Languages (Panel) (1986) (0)
A Generic Dynamic Logic with Applications to Interaction-Based Systems (2019) (0)
International Cooperation Activities in Future and Emerging Icts Interlink Introducing Interlink Thematic Areas (0)
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281) (2021) (0)
An Approach Based on Institutions (2008) (0)
A Formal Framework for “Living” Cooperative Information Systems (2007) (0)
Modelling, specification, and programming for collective adaptive systems (2015) (0)
A coordination approach to mobile components (2005) (0)
Programs from Specification Proofs (2000) (0)
Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221) (2021) (0)
A Fine-Grain Approach to Sorted Logic (2012) (0)
Developing Physiological Computing Systems : Challenges and Solutions Extended Abstract (0)
Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 (2009) (0)
Logical Theory for Program Construction (Dagstuhl Seminar 9109) (2021) (0)
Logic for System Engineering (Dagstuhl Seminar 9710) (2021) (0)
Selected papers of the symposium on Programming language implementation and logic programming (1995) (0)
Knowledge Representation in Kernel Lisp (1991) (0)
Model Checking and Compiling UML State Machines (2001) (0)
Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux France February 11-13, 1988, : Proceedings (1988) (0)
Part 0 : Introduction to the project CIP (1985) (0)
07061 Abstracts Collection -- Autonomous and Adaptive Web Services (2007) (0)
Rigorous engineering of collective adaptive systems: special section (2020) (0)
Enhancing Safety and Security of Distributed Systems through Formal Patterns (2012) (0)
Implementation Patterns for Visual Construction and Runtime Customization of Multi-Agent-Systems (2003) (0)
A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic (2022) (0)
Structuring database specifications (1991) (0)
Modelling and Testing Services with Continuous Time SRML (2021) (0)
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87 (1987) (0)
Behavioural Speciflcations 1 (1995) (0)
A Dynamic Logic for Systems with Predicate-Based Communication (2020) (0)
05081 Abstracts Collection - Foundations of Global Computing (2005) (0)
Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings (2015) (0)
1 Modelling the CoCoME with the JAVA/A Component Model (2007) (0)
Untyped Constrained Lambda Calculus (2007) (0)
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems (2019) (0)
Agile governance for innovating higher education teaching and learning (2022) (0)
Editorial (2005) (0)
Engineering autonomic ensembles (2009) (0)
Formal Methods and System Design – ARTS / DExVal Par tners (2007) (0)
Proceedings of the 5th international conference on Trustworthly global computing (2010) (0)
Part II : Description of the language (1985) (0)
Trustworthy Global Computing (2008) (0)
Techniques for Improving Test-Driven Design (2003) (0)

This paper list is powered by the following services:

Other Resources About Martin Wirsing

What Schools Are Affiliated With Martin Wirsing?

Martin Wirsing is affiliated with the following schools:

Martin Wirsing's Academic­Influence.com Rankings

Martin Wirsing's Degrees

Similar Degrees You Can Earn

Why Is Martin Wirsing Influential?

Martin Wirsing's Published Works

Published Works

Other Resources About Martin Wirsing

What Schools Are Affiliated With Martin Wirsing?

Martin Wirsing's AcademicInfluence.com Rankings