Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant
Download or Read eBook Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant PDF written by M. Broy and published by . This book was released on 1992 with total page 69 pages. Available in PDF, EPUB and Kindle.
Author | : M. Broy |
Publisher | : |
Total Pages | : 69 |
Release | : 1992 |
ISBN-10 | : OCLC:27352960 |
ISBN-13 | : |
Rating | : 4/5 (60 Downloads) |
Book Synopsis Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant by : M. Broy
Book excerpt: