VSE: Formal methods meet industrial needs

From MaRDI portal

DOI10.1007/S100099900022MaRDI QIDQ1856152zbMATH OpenOpenAlexFDO

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

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)








Cited in
(1)








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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1856152)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=VSE:_Formal_methods_meet_industrial_needs&oldid=69121578"
Powered by MediaWiki