Amanote Research
Register
Sign In
Modular Verification of Strongly Invasive Aspects
doi 10.1145/1509837.1509840
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
Emilia Katz
Shmuel Katz
Publisher
ACM Press
Related search
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
