Immaturity and Potential of Formal Methods: A Personal View

Luigi Logrippo. Immaturity and Potential of Formal Methods: A Personal View. In Muffy Calder, Evan H. Magill, editors, Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. pages 9-13, IOS Press, 2000.

Abstract

Abstract is missing.