Search results for: Wolfram Schulte
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Invited Talk > 1-20
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Reliability of Networked Systems > 324-339
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Transformation > 44-58
Lecture Notes in Computer Science > ECOOP 2005 - Object-Oriented Programming > Language Design > 287-311
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Part 2. Contributed Research Papers > 142-162
Lecture Notes in Computer Science > Formal Syntax and Semantics of Java > Semantic Approaches > 353-404
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 420-439
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Methods and Test Tools > 252-266
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 102-116