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

@@ 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