Conference Paper (published)

Towards a Method of Test Case Extraction from Correctness Proofs

Details

Citation

Maharaj S (1999) Towards a Method of Test Case Extraction from Correctness Proofs. In: Proceedings of the 14th International Workshop on Algebraic Development Techniques. 14th International Workshop on Algebraic Development Techniques (WADT 1999), Chateau de Bonas, France, 15.09.1999-18.09.1999. Switzerland: Springer, pp. 45-46.

StatusPublished
Publication date31/12/1999
Publication date online30/09/1999
PublisherSpringer
Place of publicationSwitzerland
Conference14th International Workshop on Algebraic Development Techniques (WADT 1999)
Conference locationChateau de Bonas, France
Dates–