ASE2 CARD CATALOG ENTRY
cm20.ps Formal Verification of Programs 232K; 30 pages - Alfs T. Berztiss, Mark A. Ardis
21 Jan 94 First release to the PAL
Approved for public release; distribution unlimited The SEI encourages you to copy these reports, either by photocopy or electronically, for the internal use of your company, provided that copies contain the appropriate SEI copyright notice and notice of government sponsorship. If you wish to use these reports as part of a commercial venture (e.g., teaching a tutorial), we ask that you obtain the appropriate permission from the SEI by contacting the head of Information Management: Purvis Jackson Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213-3890 Tel: (412) 268-7622 Internet address: email@example.com COURSEWARE SOFTWARE ENGINEERING INSTITUTE CARNEGIE MELLON UNIVERSITY The directory /pub/education contains documents related to software engineering education published by the Software Engineering Institute. The current contents of the directory are summarized below. An annotated list of SEI publications, including abstracts, is available in the files annotated.ps and annotated.ascii in the directory /pub/documents. Additional information is in the file READ.ME in that directory.
This documentation are provided "AS IS" without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user is advised to review the documentation thoroughly before relying on it. The user must assume the entire risk and liability of using this documentation. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.
Powered by the Generic Web-Based Reuse Library (GWRL)