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.
Abstract is missing.