Roland Vogt (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference 2000: 367-376

3 Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)

Selection of 2 from 6 records - Roland Vogt has 15 coauthors

4		Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference 2000: 367-376
3		Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)