Automatic verification of Java programs with dynamic frames (Q973055): Difference between revisions

@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy behavioral subtyping
@@ Property / cites work: Lazy behavioral subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
@@ Property / cites work @@
+Using History Invariants to Verify Observers
@@ Property / cites work: Using History Invariants to Verify Observers / rank @@
+Normal rank
@@ Property / cites work @@
+Protective interface specifications
@@ Property / cites work: Protective interface specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Modular specification and verification of object-oriented programs
+Normal rank
@@ Property / cites work @@
+Separation logic, abstraction and inheritance
@@ Property / cites work: Separation logic, abstraction and inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of Java programs with dynamic frames
+Normal rank