VSE: Formal Methods Meet Industrial Needs

@article{pub1549,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Mantel, Heiko
 and 

Rock, Georg
 and 

Schairer, Axel
 and 

Stephan, Werner
 and 

Vogt, Roland
 and 

Wolpers, Andreas
},
    title = {VSE: Formal Methods Meet Industrial Needs},
    year = {2000},
    volume = {3},
    number = {1},
    pages = {66--77},
    journal = {International Journal on Software Tools for Technology Transfer},
    publisher = {Springer},
    note = {Special Issue on Mechanized Theorem Proving for Technology}
}