Conference Paper (published)
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