Formal specification and verification of the C\(\#\) thread model (Q2571209): Difference between revisions

@@ Property / cites work @@
+Q4413677
@@ Property / cites work: Q4413677 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for secure memory access of abstract state machines
+Normal rank
@@ Property / cites work @@
+The theoretical foundations of LPTP (a logic program theorem prover)
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank