Sawja: Static Analysis Workshop for Java (Q3067538): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3121650164
@@ Property / OpenAlex ID: W3121650164 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3353
@@ Property / arXiv ID: 1007.3353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+On programming of arithmetic operations
@@ Property / cites work: On programming of arithmetic operations / rank @@
+Normal rank
@@ Property / cites work @@
+Secure the Clones
@@ Property / cites work: Secure the Clones / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417791
@@ Property / cites work: Q4417791 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4379492
@@ Property / cites work: Q4379492 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight bytecode verification
@@ Property / cites work: Lightweight bytecode verification / rank @@
+Normal rank