Shmuel Katz
Computer Science
Technion Israel Institute of Technology
Israel
Biography
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.