The Foundations of Program Verification, 2nd Edition
Full Title: | The Foundations of Program Verification, 2nd Edition |
---|---|
ISBN: | 0471912824 |
ISBN13: | 9780471912828 |
Authors: |
Loeckx, Jacques Sieber, Kurt |