David W. Bustard, Adam C. Winstanley. Making Changes to Formal Specifications: Requirements and an Example. In Ian Sommerville, Manfred Paul, editors, Software Engineering - ESEC 93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings. Volume 717 of Lecture Notes in Computer Science, pages 115-126, Springer, 1993.
@inproceedings{BustardW93,
title = {Making Changes to Formal Specifications: Requirements and an Example},
author = {David W. Bustard and Adam C. Winstanley},
year = {1993},
tags = {C++},
researchr = {https://researchr.org/publication/BustardW93},
cites = {0},
citedby = {0},
pages = {115-126},
booktitle = {Software Engineering - ESEC 93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings},
editor = {Ian Sommerville and Manfred Paul},
volume = {717},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57209-0},
}