@inbook{12441,
  author = {Lionel Briand},
  title = {Software Verification: a Scalable, Model-Driven, Empirically Grounded Approach},
  year = {2009},
  journal = {Simula Research Laboratory - by thinking constantly about it},
  chapter = {28},
  pages = {415-442},
  publisher = {Springer},
  address = {Heidelberg},
  isbn = {978-3-642-01155-9},
  editor = {Aslak Tveito and Are Bruaset and Olav Lysne},
}