MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Content Type: PDF
×
Collection: Electronic Theses & Dissertations
×
Copyright Status: In Copyright
×
Subject: C (Computer program language)
×
Subject: Computer programming
×
Subject: Generators (Computer programs)
×
Material Type
Sort
Alphabetically
By count
Theses
1
Language
Sort
Alphabetically
By count
English
1
Subject
Sort
Alphabetically
By count
Automatic programming (Computer science)
1
Computer programming
1
Year
TO
Apply
Search results
Showing 1 to 1 of 1 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
An automatic verification condition generator for the language C
Arbanas, Jennifer Marie
Text (1987)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
