Beyond contracts for concurrency (Q846113): Difference between revisions

@@ Property / describes a project that uses @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-008-0073-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2087188285
@@ Property / OpenAlex ID: W2087188285 / rank @@
+Normal rank
@@ Property / cites work @@
+A CSP model of Eiffel's SCOOP
@@ Property / cites work: A CSP model of Eiffel's SCOOP / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Joining specification statements
@@ Property / cites work: Joining specification statements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873991
@@ Property / cites work: Q4873991 / rank @@
+Normal rank