Program verification using symbolic game semantics (Q477213): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2014.01.016
@@ Property / DOI: 10.1016/j.tcs.2014.01.016 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://doi.org/10.1016/j.tcs.2014.01.016
-Normal rank
@@ Property / OpenAlex ID @@
-W2124580491
@@ Property / OpenAlex ID: W2124580491 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2014.01.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2124580491
@@ Property / OpenAlex ID: W2124580491 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Predicate Abstraction from Game Semantics
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Program Verification Using Symbolic Execution
+Normal rank
@@ Property / cites work @@
+Q4817541
@@ Property / cites work: Q4817541 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986508
@@ Property / cites work: Q4986508 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536630
@@ Property / cites work: Q4536630 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2014.01.016
@@ Property / DOI: 10.1016/J.TCS.2014.01.016 / rank @@
+Normal rank