Declaring and Checking Non-null Types in an Object-Oriented Language (2003)
Cached
Download Links
- [research.microsoft.com]
- [www.eecs.umich.edu]
- DBLP
Other Repositories/Bibliography
by
Manuel Fähndrich
,
K. Rustan M. Leino
| Citations: | 88 - 5 self |







