Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Henrik Reif Andersen
A Comparison of Modular Verification Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications
Modular Verification of Strongly Invasive Aspects
Modular Verification of Collaboration-Based Software Designs
ACM SIGSOFT Software Engineering Notes
A Practical Type Analysis for Verification of Modular Prolog Programs
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Verification Techniques for LOTOS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Modular Verification of Linked Lists With Views via Separation Logic.
Journal of Object Technology
Software
