Toward a verification system for the programming language KL-1 using weakest preconditions
Date
1979
Authors
Lindquist, Timothy
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Abstract
Series Number
Journal Issue
Is Version Of
Versions
Series
Academic or Administrative Unit
Type
dissertation
Comments
Rights Statement
Copyright
Mon Jan 01 00:00:00 UTC 1979