Anya Helene Bagge, Valentin David, Magne Haveraaen
Testing with Axioms in C++ 2011
GPCE, 2011.
@article{GPCE-J-2009-BaggeDH11,
author = "Anya Helene Bagge and Valentin David and Magne Haveraaen",
doi = "10.5381/jot.2011.10.1.a10",
journal = "{Journal of Object Technology}",
pages = "239--270",
title = "{Testing with Axioms in C++ 2011}",
volume = 10,
year = 2011,
}