Skip header navigation
×

Conference Proceeding

Towards a Method of Test Case Extraction from Correctness Proofs

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
Author(s)Maharaj, Savi
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
Scroll back to the top