5 citations · 5 across the 1 of their papers we have counts for
1 paper
David Harel, Guy Katz, Rami Marelly +1
Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we fee…