Luigi Logrippo. Immaturity and Potential of Formal Methods: A Personal View. In Muffy Calder, Evan H. Magill, editors, Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. pages 9-13, IOS Press, 2000.
@inproceedings{Logrippo00,
title = {Immaturity and Potential of Formal Methods: A Personal View},
author = {Luigi Logrippo},
year = {2000},
researchr = {https://researchr.org/publication/Logrippo00},
cites = {0},
citedby = {0},
pages = {9-13},
booktitle = {Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK},
editor = {Muffy Calder and Evan H. Magill},
publisher = {IOS Press},
isbn = {1-58603-065-5},
}