Search results for: S. Murawski
Formal Methods in System Design > 2018 > 52 > 3 > 277-314
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 139-153
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics > 32-47
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software > 421-435
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 360-375
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B7: Specification and Verification > 466-477
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 211-225
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 683-694
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B1: Foundations of Program Semantics > 149-161
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Games and Automata > 202-218
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking – II > 173-187
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Verification > 303-317
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics of Programming Languages > 33-47