Conference Proceeding
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.
Status | Published |
---|---|
Publication date | 31/12/1999 |
Publication date online | 30/09/1999 |
Publisher | Springer |
Place of publication | Switzerland |
Conference | 14th International Workshop on Algebraic Development Techniques (WADT 1999) |
Conference location | Chateau de Bonas, France |
Dates | – |
People (1)
Senior Lecturer, Computing Science