Lustig

First name: 
Yoad
Department / Field: 
Computer Science
Faculty: 
Science
Title: 
Reasoning about Lattice-Based Multi-Valued Systems
Supervisor: 
Prof. O. Kupferman
Year of Graduation: 
2009