Università
della
Svizzera
italiana
Italiano
English
usi.ch
Info Desk
Campus map
search.usi
Search for contacts, projects,
courses and publications
Italiano
People
Education
Research
Organisation
Search for people
People
Education
Education
Courses
Research
Projects
Publications
Competences maps
Organisation
Faculties
Other organizational units
Martin Blicha
http://usi.to/yzo
Profile
Courses
Projects
Schedules
Research
Formal verification
SAT/SMT solvers
Interpolation
Contact
martin.blicha@usi.ch
Roles
Position
Ph.D. Student -
Faculty of Informatics
Update data
Edit profile
