An automatic verification condition generator for the language C
- In Collections
-
Electronic Theses & Dissertations
- Copyright Status
- In Copyright
- Material Type
-
Theses
- Authors
-
Arbanas, Jennifer Marie
- Date
- 1987
- Subjects
-
Automatic programming (Computer science)
C (Computer program language)
Computer programming
Generators (Computer programs)
- Program of Study
-
Computer Science
- Degree Level
-
Masters
- Language
-
English
- Pages
- vi, 91 pages
- Permalink
- https://doi.org/doi:10.25335/8rwq-px54