"Managerial Issues for the Consideration and Use of Formal Methods."

Donna C. Stidolph, E. James Whitehead Jr. (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics