Search results for: Hanne Riis 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 > 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
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 590-604
Lecture Notes in Computer Science > Static Analysis > Concurrency > 134-148
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Constraint Solving > 251-265