119 citations · 127 across the 10 of their papers we have counts for
1 paper · 1 filter
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…