Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2007.11.015
@@ Property / DOI: 10.1016/j.entcs.2007.11.015 / rank @@
-Normal rank
@@ Property / cites work @@
+Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
+Normal rank
@@ Property / cites work @@
+Q2771739
@@ Property / cites work: Q2771739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3021903
@@ Property / cites work: Q3021903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536314
@@ Property / cites work: Q4536314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare logic for Java in Isabelle/HOL
@@ Property / cites work: Hoare logic for Java in Isabelle/HOL / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2007.11.015
@@ Property / DOI: 10.1016/J.ENTCS.2007.11.015 / rank @@
+Normal rank