👤

Constance Heitmeyer

2 books

Books by Constance Heitmeyer

FM 2016 : Formal Methods
FM 2016 : Formal Methods
2016
Formal methods for real-time computing
Formal methods for real-time computing
1996