Appears in IEEE Computer, Volume 29, Number 4.
April, 1996.
Pages 23–24.

The IEEE magazine Computer has a 15-page "roundtable" on formal methods in its April 1996 issue (Vol. 29, No. 4, pp. 16-30). Organized by Hossein Saiedian and titled An Invitation to Formal Methods, the article features short articles by Hossein Saiedian, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David L. Parnas, John Rushby, Jeannette Wing, and Pamela Zave. Here's our contribution.

@ARTICLE{Dill&Rushby96,
    AUTHOR = {David {L.} Dill and John Rushby},
    TITLE = {Acceptance of Formal Methods: Lessons from Hardware Design},
    JOURNAL = {{IEEE} Computer},
    VOLUME = {29},
    NUMBER = {4},
    YEAR = {1996},
    PAGES = {23--24},
    MONTH = {apr},
    URL = {http://www.csl.sri.com/papers/computer96/}
}

• computer96.dvi
• computer96.html
• computer96.pdf
• computer96.ps