| emsoft | participants

Guy Katz

EMSOFT 2013: 13th International Conference on Embedded Software

On Composing and Proving the Correctness of Reactive Behavior

David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, and Gera Weiss