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

@@ Property / describes a project that uses @@
+LPTP
@@ Property / describes a project that uses: LPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASMKeY
@@ Property / describes a project that uses: ASMKeY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.06.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2084781194
@@ Property / OpenAlex ID: W2084781194 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2571209