To formalize or not to formalize?

Computer

Volumn 29, Issue 4, 1996, Pages 18-19

  Hinchey, Michael G ^a,c   Bowen, Jonathan P ^b  

^a UNIVERSITY OF LIMERICK   (Ireland)

^b UNIVERSITY OF READING   (United Kingdom)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0043074273     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: None     Document Type: Article

References (3)

1. M.G. Hinchey and J.P. Bowen, eds., Applications of Formal Methods, Prentice-Hall Int'l Series in Computer Science, Hemel Hempstead, UK, 1995.
2. J.A. Hall, "Seven Myths of Formal Methods," IEEE Software, Vol. 7, No. 5, Sept. 1990, pp. 11-19.
3. J.P. Bowen and M.G. Hinchey, "Formal Methods and Safety-Critical Standards," Computer, Vol. 27, No. 8, Aug. 1994, pp. 68-71.