Machine-assisted theorem-proving for software engineering (Q56462250)
Jump to navigation
Jump to search
doctoral thesis
Language | Label | Description | Also known as |
---|---|---|---|
English | Machine-assisted theorem-proving for software engineering |
doctoral thesis |
Statements
1 reference
Machine-assisted theorem-proving for software engineering (English)
1 reference
Andrew Philip Martin
1 reference
1994
1 reference