VSE: Formal methods meet industrial needs
@article{VSE00, author = {Autexier, S. and Hutter, D. and Langenstein, B. and Mantel, H. and Rock, G. and Schairer, A. and Stephan, W. and Vogt, R. and Wolpers, A.}, title = {VSE: Formal methods meet industrial needs}, journal = {International Journal on Software Tools for Technology Transfer, Special issue on Mechanized Theorem Proving for Technology}, volume = {3}, number = {1}, publisher = {Springer}, month = {september}, year = {2000}, }