Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shmuel Katz
Modular Verification of Strongly Invasive Aspects
Related publications
Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications
A Comparison of Modular Verification Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Collaboration-Based Software Designs
ACM SIGSOFT Software Engineering Notes
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Modular Aspects of Kinesin Force Generation Machinery
Biophysical Journal
Biophysics
Modular Verification of Linked Lists With Views via Separation Logic.
Journal of Object Technology
Software
Some Aspects of Chemistry in Strongly Acidic Solvent Media
Pure and Applied Chemistry
Chemistry
Chemical Engineering
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Practical Type Analysis for Verification of Modular Prolog Programs
