Publisher
Springer International Publishing
Reference17 articles.
1. Bagge, A.H., David, V., Haveraaen, M.: Testing with axioms in C++ 2011. J. Object Technol. 10(10), 1–32 (2011).
https://doi.org/10.5381/jot.2011.10.1.a10
2. Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Boston (2002)
3. Bergstra, J.A., Tucker, J.: Algebraic specifications of computable and semicomputable data types. Theor. Comput. Sci. 50, 137–181 (1987).
https://doi.org/10.1016/0304-3975(87)90123-X
4. Lecture Notes in Computer Science;J-P Bernardy,2010
5. Lecture Notes in Computer Science;D Bjørner,1979