Editor's corner: Of understanding, acceptance,… and formal methods

https://doi.org/10.1016/0164-1212(93)90034-UGet rights and content

References (1)

  • T.J. Ralston 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.

View full text