A.: The Verisoft approach to systems verification (2008)

Cached

Download Links

by Eyad Alkassar , Mark A. Hillebr , Norbert W. Schirmer , Artem Starostin
Venue:In: Verified Software: Theories, Tools, and Experiments. Volume 5295 of LNCS
Citations:9 - 2 self