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