Search results for: Flemming Nielson
Computer Languages, Systems & Structures > 2017 > 50 > C > 82-107
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 6-32
Lecture Notes in Computer Science > ESOP '92 > 351-370
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 311-327
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B3: Model Checking > 271-282
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Qualitative Analysis Techniques for Service-Oriented Computing > 369-389
Lecture Notes in Computer Science > Static Analysis > 194-205
Lecture Notes in Computer Science > Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security > 1-1