Formal Specifications, Prototyping and Integration Tests

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.