Conference Proceeding

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

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science