Towards verification of C\(\#\) programs: a three-level approach (Q885853): Difference between revisions

@@ Property / cites work @@
+A high-level modular definition of the semantics of C\(_{\sharp}\)
+Normal rank
@@ Property / cites work @@
+Q4808824
@@ Property / cites work: Q4808824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764133
@@ Property / cites work: Q2764133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999717
@@ Property / cites work: Q3999717 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Towards verification of C programs: Axiomatic semantics of the C-kernel language
+Normal rank
@@ Property / cites work @@
+Modular specification and verification of object-oriented programs
+Normal rank
@@ Property / cites work @@
+Q2754051
@@ Property / cites work: Q2754051 / rank @@
+Normal rank