Patrícia D. L. Machado. The Rôle of Normalisation in Testing from Structured Algebraic Specifications. In Didier Bert, Christine Choppy, Peter D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Volume 1827 of Lecture Notes in Computer Science, pages 459-476, Springer, 1999.
@inproceedings{Machado99,
title = {The Rôle of Normalisation in Testing from Structured Algebraic Specifications},
author = {Patrícia D. L. Machado},
year = {1999},
tags = {testing, algebraic specification, algebra},
researchr = {https://researchr.org/publication/Machado99},
cites = {0},
citedby = {0},
pages = {459-476},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected Papers},
editor = {Didier Bert and Christine Choppy and Peter D. Mosses},
volume = {1827},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67898-0},
}