Christine Choppy. Formal Specifications, Prototyping and Integration Tests. In Howard K. Nichols, Dan Simpson, editors, ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Volume 289 of Lecture Notes in Computer Science, pages 172-179, Springer, 1987.
@inproceedings{Choppy87,
title = {Formal Specifications, Prototyping and Integration Tests},
author = {Christine Choppy},
year = {1987},
tags = {testing},
researchr = {https://researchr.org/publication/Choppy87},
cites = {0},
citedby = {0},
pages = {172-179},
booktitle = {ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings},
editor = {Howard K. Nichols and Dan Simpson},
volume = {289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18712-X},
}