Software Verification: a Scalable, Model-Driven, Empirically Grounded Approach

Software Verification: a Scalable, Model-Driven, Empirically Grounded Approach

Authors
L. Briand
Editors
A. Tveito, A. M. Bruaset and O. Lysne
Status
Published
Publication type
Book Chapter
Year of publication
2009
Journal
Simula Research Laboratory - by thinking constantly about it
Publisher
Springer
Citation key
12441
Google Scholar BibTex