Testing with concepts and axioms in C++.

Authors :: Bagge, Anya Helene
David, Valentin
Haveraaen, Magne
Source :: Companion to the 23rd ACM SIGPLAN Conference: Object-oriented Programming Systems Languages & Applications; 10/19/2008, p773-774, 2p
Publication Year :: 2008

Language :: English
ISBNs :: 9781605582207
Database :: Complementary Index
Journal :: Companion to the 23rd ACM SIGPLAN Conference: Object-oriented Programming Systems Languages & Applications
Publication Type :: Conference
Accession number :: 83477965
Full Text :: https://doi.org/10.1145/1449814.1449855