Secure distributed programming with value-dependent types (Q5398328): Difference between revisions

@@ Property / author @@
+Cédric Fournet
@@ Property / author: Cédric Fournet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ott
@@ Property / describes a project that uses: Ott / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaScript
@@ Property / describes a project that uses: JavaScript / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cayenne
@@ Property / describes a project that uses: Cayenne / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ynot
@@ Property / describes a project that uses: Ynot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fable
@@ Property / describes a project that uses: Fable / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AURA
@@ Property / describes a project that uses: AURA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank