| Authors | L. Briand |
| Editors | A. Tveito, A. M. Bruaset and O. Lysne |
| Title | Software Verification: a Scalable, Model-Driven, Empirically Grounded Approach |
| Afilliation | Software Engineering, Software Engineering |
| Status | Published |
| Publication Type | Book Chapter |
| Year of Publication | 2009 |
| Book Title | Simula Research Laboratory - by thinking constantly about it |
| Chapter | 28 |
| Pagination | 415-442 |
| Publisher | Springer |
| Place Published | Heidelberg |
| ISBN Number | 978-3-642-01155-9 |
By thinking constantly about it…