The Verisoft approach to systems verification (2008)

by Eyad Alkassar , Mark A. Hillebrand , Dirk Leinenbach , Norbert W. Schirmer , Artem Starostin
Venue:IN: VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS. VOLUME 5295 OF LNCS
Citations:18 - 5 self