Proving Theorems about Java-like Byte Code (1999)
by
J Strother Moore
| Venue: | CORRECT SYSTEM DESIGN { RECENT INSIGHTS AND ADVANCES |
| Citations: | 16 - 9 self |
Document Versions
| Proving Theorems about Java-like Byte Code –J Strother Moore — 1999 — CORRECT SYSTEM DESIGN { RECENT INSIGHTS AND ADVANCES |
| Proving Theorems about Java-like Byte Code –J. Strother Moore — 1999 — Correct System Design { Recent Insights and Advances |
