Executable Documentation: Test-First in Action
You are here
Title | Executable Documentation: Test-First in Action |
Publication Type | Conference Paper |
Year of Publication | 2022 |
Authors | Smyth S, Petzold J, Schürmann J, Karbus F, Margaria T, von Hanxleden R, Steffen B |
Editor | Margaria T, Steffen B |
Conference Name | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering |
Publisher | Springer Nature Switzerland |
Conference Location | Cham |
ISBN Number | 978-3-031-19756-7 |