VSE: Formal methods meet industrial needs<pre>@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},
}
</pre>