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 best history is but like the art of Rembrandt; it casts a vivid light on certain selected causes, on those which were best and greatest; it leaves all the rest in shadow and unseen.”
—Walter Bagehot (1826–1877)
“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)