Shmuel Katz
Computer Science
Technion Israel Institute of Technology
Israel
Biography
Shmuel Katz working at Technion Israel Institute of Technology Shmuel Katz working at Technion Israel Institute of Technology
Research Interest
Program verification; Formal specification methods; Aspect-oriented software development; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering.