Proving Java Type Soundness (1997)
Cached
Download Links
- [research.microsoft.com]
- [www.cl.cam.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Don Syme
| Citations: | 82 - 2 self |







