A.: The Verisoft Approach to Systems Verification (2008)

by E Alkassar, M A Hillebrand, D Leinenbach, N W Schirmer, Starostin