ISSE

Search

The Verification Support Environment VSE

P. Baur, T. Plasa, P. Kejwal, R. Drexler, W. Reif, W. Stephan, A. Wolpers, D. Hutter, C. Sengler, and E. Canver

The Verification Support Environment VSE

published 1992 in: Zürich, Schweiz Conference on Safety, Security and Reliability of Computers

Publisher: Pergamon Press