Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Automated program verification using SMT
M. van der Horst
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
13 Jan 2022
Original language
English
Supervisor
H. Zantema (Supervisor 1)
Cite this
Standard
Automated program verification using SMT
van der Horst, M. (Author).
13 Jan 2022
Student thesis
:
Master
Documents
pdf
File
:
application/pdf, 588 KB
Type
:
Thesis