Seven Myths of Formal Methods
Hall, Anthony. 1990. “Seven Myths of Formal Methods.” Software, IEEE 7 (5): 11–19.
BibTeX
@article{hallSevenMythsFormal1990,
title = {Seven Myths of Formal Methods},
author = {Hall, Anthony},
year = 1990,
journal = {Software, IEEE},
volume = {7},
number = {5},
pages = {11--19},
publisher = {IEEE}
}