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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768806040025
+Normal rank
@@ Property / OpenAlex ID @@
+W2035786727
@@ Property / OpenAlex ID: W2035786727 / rank @@
+Normal rank