Peter Ryan, Chris T. Sennett. Conclusions. In Peter Ryan, Chris T. Sennett, editors, Formal Methods in Systems Engineering. pages 100, Springer, 1993. [doi]
@incollection{RyanS93, title = {Conclusions}, author = {Peter Ryan and Chris T. Sennett}, year = {1993}, doi = {10.1007/978-1-4471-1975-3_12}, url = {https://doi.org/10.1007/978-1-4471-1975-3_12}, researchr = {https://researchr.org/publication/RyanS93}, cites = {0}, citedby = {0}, pages = {100}, booktitle = {Formal Methods in Systems Engineering}, editor = {Peter Ryan and Chris T. Sennett}, publisher = {Springer}, isbn = {978-3-540-19751-5}, }