Constance Heitmeyer

No bio available. Add one in Open Library.

Books by Constance Heitmeyer (50 max)

+ shelf+ list

Formal methods for real-time computing

1996

Constance Heitmeyer, Dino Mandrioli

+ shelf+ list

FM 2016 : Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2016

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou