Selected Publications
- Anthony Hall, Seven Myths of Formal Methods, IEEE Software, September 1990, pp. 11–19.
- Anthony Hall and Roderick Chapman, Correctness by Construction: Developing a Commercial Secure System, IEEE Software, January/February 2002, pp. 18–25.
Read more about this topic: J. Anthony Hall
Famous quotes containing the words selected and/or publications:
“The final flat of the hoe’s approval stamp
Is reserved for the bed of a few selected seed.”
—Robert Frost (1874–1963)
“Dr. Calder [a Unitarian minister] said of Dr. [Samuel] Johnson on the publications of Boswell and Mrs. Piozzi, that he was like Actaeon, torn to pieces by his own pack.”
—Horace Walpole (1717–1797)