| 2011 | ||
|---|---|---|
| j3 | Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with Axioms in C++ 2011. Journal of Object Technology 10: 10: 1-32 (2011) | |
| 2010 | ||
| j2 | Anya Helene Bagge, Magne Haveraaen: Interfacing Concepts: Why Declaration Style Shouldn't Matter. Electr. Notes Theor. Comput. Sci. 253(7): 37-50 (2010) | |
| c6 | ||
| 2009 | ||
| j1 | Anya Helene Bagge, Magne Haveraaen: Axiom-Based Transformations: Optimisation and Testing. Electr. Notes Theor. Comput. Sci. 238(5): 17-33 (2009) | |
| c5 | Anya Helene Bagge, Valentin David, Magne Haveraaen: The axioms strike back: testing with concepts and axioms in C++. GPCE 2009: 15-24 | |
| c4 | ||
| 2008 | ||
| c3 | Anya Helene Bagge, Valentin David, Magne Haveraaen: Axiom-based testing for C++. OOPSLA Companion 2008: 721-722 | |
| c2 | Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with concepts and axioms in C++. OOPSLA Companion 2008: 773-774 | |
| 2006 | ||
| c1 | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg: Stayin' alert: : moulding failure and exceptions to your needs. GPCE 2006: 265-274 | |
| 1 | Valentin David | |
| 2 | Magne Haveraaen | |
| 3 | Karl Trygve Kalleberg |
Data released under the ODC-BY 1.0 license — See also our legal information page