[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference turris::decspec

Title:DECspec
Moderator:TLE::WILD
Created:Tue Apr 16 1991
Last Modified:Thu Dec 02 1993
Last Successful Update:Fri Jun 06 1997
Number of topics:35
Total number of notes:103

28.0. "Formal-methods event announcements" by RICKS::LEONARD (Tim Leonard, Cantab) Tue May 28 1991 12:15

T.RTitleUserPersonal
Name		DateLines
28.1Proof clubRICKS::LEONARDTim Leonard, CantabTue May 28 1991 12:18117
28.2Proof club inaugural meetingRICKS::LEONARDTim Leonard, CantabMon Jun 03 1991 10:55129
28.3Advanced Z Proof Course at Oxford U.COOKIE::WALLACECXN1/4, D523-2793, TNSG/INGThu Jun 06 1991 12:54294