Search results for: Einar Broch Johnsen
Journal of Logical and Algebraic Methods in Programming > 2018 > 94 > C > 109-127
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 202-217
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 61-81
Lecture Notes in Computer Science > Tests and Proofs > 105-120
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 42-60
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Short Papers > 225-230
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Models and Calculi > 15-30
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Trustworthy Eternal Systems via Evolving Software > 417-457
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 2. Programming Language Analysis > 52-67