Ready for testing: ensuring conformance to industrial standards through formal verification
Crossref DOI link: https://doi.org/10.1007/s00165-016-0365-3
Published Print: 2016-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Feo-Arenis, Sergio
Westphal, Bernd
Dietsch, Daniel
Muñiz, Marco
Andisha, Siyar
Podelski, Andreas
Text and Data Mining valid from 2016-05-01