Betty H. C. Cheng;David M. Weiss
-;-
An Investigation of the Therac-25 Accidents
Computer
An Invitation to Formal Methods
First Page of the Article