User: Guest  Login
Document type:
Konferenzbeitrag
Author(s):
Wang, Yang; Degutis, Daniel Ryan; Wagner, Stefan
Title:
Speed up BDD for safety verification in agile development
Book / Congress title:
Proceedings of the 19th International Conference on Agile Software Development: Companion
Publisher:
ACM
Date of publication:
21.05.2018
Year:
2018
Fulltext / DOI:
doi:10.1145/3234152.3234181
 BibTeX