[ont.events] Computer Systems Seminar -"Proof Obligations.."

voula@utcsri.UUCP (Voula Vanneli) (03/13/85)

                   UNIVERSITY OF TORONTO

                DEPARTMENT OF COMPUTER SCIENCE

  (SF = Sandford Fleming Building, 10 King's College Road)

COMPUTER SYSTEMS SEMINAR - Tuesday, March  19,  11  am.,  SF
1105
                      Mr. Bowen Alpern
                     Cornell University
9 "Proof Obligations for Deterministic Temporal Properties"