Media type: E-Article Title: Lecture Notes in Computer Science: Flexible Formality Practical Experience with Agile Formal Methods Contributor: Kant, Philipp; Hammond, Kevin; Coutts, Duncan; Chapman, James; Clarke, Nicholas; Corduan, Jared; Davies, Neil; Díaz, Javier; Güdemann, Matthias; Jeltsch, Wolfgang; Szamotulski, Marcin; Vinogradova, Polina Published: Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 94-120 Language: Not determined DOI: 10.1007/978-3-030-57761-2_5 ISBN: 9783030577605; 9783030577612 ISSN: 0302-9743; 1611-3349 Origination: Footnote: