AuthorsL. Briand
EditorsA. Tveito, A. M. Bruaset and O. Lysne
TitleSoftware Verification: a Scalable, Model-Driven, Empirically Grounded Approach
Afilliation, Software Engineering
StatusPublished
Publication TypeBook Chapter
Year of Publication2009
Book TitleSimula Research Laboratory - by thinking constantly about it
Chapter28
Pagination415-442
PublisherSpringer
Place PublishedHeidelberg
ISBN Number978-3-642-01155-9