Editor's corner: Of understanding, acceptance,… and formal methods☆
References (1)
- et al.
Formal Methods: History, Practice, Trends and Prognosis
Amer. Progr.
(1991)
Cited by (0)
- ☆
This editorial is reprinted with permission from the journal The Software Practitioner, P.O. Box 213, State College, PA 16804.
Copyright © 1993 Published by Elsevier Inc.