5 citations · 5 across the 3 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…