Managerial Issues for the Consideration and Use of Formal Methods.

Donna C. Stidolph, E. James Whitehead Jr.

Browse the full FM paper archive.