conference paper

Verifying a File System Implementation

Arkoudas, Konstantine
•
Zee, Karen
•
Kuncak, Viktor  orcid-logo
Show more
2004
Sixth International Conference on Formal Engineering Methods