JCML: A specification language for the runtime verification of Java card programs (Q436381): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2010.03.003
@@ Property / DOI: 10.1016/j.scico.2010.03.003 / rank @@
-Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Runtime Verification of Java Card Programs
+Normal rank
@@ Property / cites work @@
+Z/Eves and the Mondex Electronic Purse
@@ Property / cites work: Z/Eves and the Mondex Electronic Purse / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
@@ Property / cites work @@
+The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
+Normal rank
@@ Property / cites work @@
+Q3998221
@@ Property / cites work: Q3998221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769594
@@ Property / cites work: Q2769594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2010.03.003
@@ Property / DOI: 10.1016/J.SCICO.2010.03.003 / rank @@
+Normal rank