VSE: Formal methods meet industrial needs

DOI10.1007/S100099900022zbMath1060.68673OpenAlexW2021659888MaRDI QIDQ1856152

Andreas Wolpers, Axel Schairer, Bruno Langenstein, Werner Stephan, Dieter Hutter, Heiko Mantel, Georg Rock, Roland Vogt, Serge Autexier

Publication date: 13 February 2003

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100099900022

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Related Items (1)

Security of multi-agent systems: a case study on comparison shopping

This page was built for publication: VSE: Formal methods meet industrial needs