Login / Signup

VSE: formal methods meet industrial needs.

Serge AutexierDieter HutterBruno LangensteinHeiko MantelGeorg RockAxel SchairerWerner StephanRoland VogtAndreas Wolpers
Published in: Int. J. Softw. Tools Technol. Transf. (2000)
Keyphrases