Date: 2004-04-12 08:34:15Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing | | Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed]Add to Reading ListSource URL: www.lemma-one.comDownload Document from Source Website File Size: 212,32 KBShare Document on Facebook
|