Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes. Formal Methods and Their Future. In Franz Pichler, Roberto Moreno-Díaz, editors, Computer Aided Systems Theory - EUROCAST 93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings. Volume 763 of Lecture Notes in Computer Science, pages 180-189, Springer, 1993.
@inproceedings{MusgraveFFHH93,
title = {Formal Methods and Their Future},
author = {Gerry Musgrave and Simon Finn and M. D. Francis and R. Harris and Roger B. Hughes},
year = {1993},
researchr = {https://researchr.org/publication/MusgraveFFHH93},
cites = {0},
citedby = {0},
pages = {180-189},
booktitle = {Computer Aided Systems Theory - EUROCAST 93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings},
editor = {Franz Pichler and Roberto Moreno-Díaz},
volume = {763},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57601-0},
}