Constance Heitmeyer · 2 obras en el catálogoObrasFM 2016 : Formal MethodsFormal methods for real-time computing