The axioms strike back: testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Browse the full GPCE paper archive.