Pearl Brereton, Paul Singleton. Deductive Software Building. In Jacky Estublier, editor, Software Configuration Management, ICSE SCM-4 and SCM-5 Workshops, Selected Papers. Volume 1005 of Lecture Notes in Computer Science, pages 81-87, Springer, 1995.
@inproceedings{BreretonS95, title = {Deductive Software Building}, author = {Pearl Brereton and Paul Singleton}, year = {1995}, researchr = {https://researchr.org/publication/BreretonS95}, cites = {0}, citedby = {0}, pages = {81-87}, booktitle = {Software Configuration Management, ICSE SCM-4 and SCM-5 Workshops, Selected Papers}, editor = {Jacky Estublier}, volume = {1005}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60578-9}, }