Aleksandar Nanevski
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2007 | ||
|---|---|---|
| 1 | Abstract Predicates and Mutable ADTs in Hoare Type Theory. Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal. ESOP 2007, 189-204. Web SearchBibTeXDownload | |
from DBLP and Google Scholar