Engineering
Global

Engineering Experts

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.

Global Experts from Israel

Global Experts in Subject

Share This Profile
Recommended Conferences
View more