Verifying a file system implementation (2004)
Cached
Download Links
- [lara.epfl.ch]
- [www.cag.lcs.mit.edu]
- [www.cag.csail.mit.edu]
- [www.cag.lcs.mit.edu]
- [www.mit.edu]
- [lara.epfl.ch]
- DBLP
Other Repositories/Bibliography
by
Konstantine Arkoudas
,
Karen Zee
,
Viktor Kuncak
,
Martin Rinard
| Venue: | In Sixth International Conference on Formal Engineering Methods (ICFEM’04), volume 3308 of LNCS |
| Citations: | 26 - 14 self |
BibTeX
@INPROCEEDINGS{Arkoudas04verifyinga,
author = {Konstantine Arkoudas and Karen Zee and Viktor Kuncak and Martin Rinard},
title = {Verifying a file system implementation},
booktitle = {In Sixth International Conference on Formal Engineering Methods (ICFEM’04), volume 3308 of LNCS},
year = {2004},
pages = {8--12}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
