BibTeX
@MISC{Tschannen_1verifying,
author = {Julian Tschannen and Carlo A. Furia and Martin Nordio},
title = {1 Verifying Eiffel Programs with Boogie},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ar
