On the Need for Practical Formal Methods.

Constance L. Heitmeyer On the Need for Practical Formal Methods. 18-26 1998 conf/ftrtft/1998 FTRTFT http://link.springer.de/link/service/series/0558/bibs/1486/14860018.htm db/conf/ftrtft/ftrtft1998.html#Heitmeyer98