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

Conference ricks::formal_verification

Title:Formal Specification and Verification
Moderator:RICKS::LEONARD
Created:Wed Dec 30 1987
Last Modified:Wed May 14 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:50
Total number of notes:214

14.0. "Mailing lists and notes conferences" by RICKS::LEONARD (Tim Leonard, Formal Alpha Verification) Fri Oct 30 1992 17:29

T.RTitleUserPersonal
Name
DateLines
14.1SRCNOTESRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:337
14.2DECspecRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:428
14.3HOL theorem prover mailing listRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:468
14.4Boyer-Moore theorem prover mailing listRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:508
14.5Structured analysis and Z mailing listRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:5212
14.6Theorem provers mailing listRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:5312
14.7Rewriting theorem provers mailing listRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 17:5512
14.8Z forum mailing list and usegroupRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 18:0110
14.9Lambda theorem prover mailing listRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 18:0312
14.10Formal specification usegroupRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 18:043
14.11Formal methods of software developmentRICKS::LEONARDTim Leonard, Formal Alpha VerificationFri Oct 30 1992 18:064
14.13LP and Larch mailing listCIRCUS::HORNINGJim HorningFri Nov 06 1992 17:4310
14.15More proof-related listsRICKS::LEONARDTim Leonard, Formal Alpha VerificationThu Nov 12 1992 12:2813
14.16CADE 97 Call for papersRICKS::LEONARDTim Leonard, Formal VerificationTue Sep 10 1996 13:04151