The Verisoft approach to systems verification (0)

by Eyad Alkassar, Mark A Hillebrand, Dirk Leinenbach, Norbert W Schirmer, Artem Starostin
Venue:In Shankar and Woodcock [SW08