TitleExecutable Documentation: Test-First in Action
Publication TypeConference Paper
Year of Publication2022
AuthorsSmyth S, Petzold J, Schürmann J, Karbus F, Margaria T, von Hanxleden R, Steffen B
EditorMargaria T, Steffen B
Conference NameLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering
PublisherSpringer Nature Switzerland
Conference LocationCham
ISBN Number978-3-031-19756-7