A Practical Approach to Software Verification

Date

1978

Journal Title

Journal ISSN

Volume Title

Publisher