Frank de Boer · 4 obras en el catálogoObrasConcurrency verificationFM 2015 : Formal MethodsIt's All About CoordinationSSoftware Engineering and Formal MethodsSoftware Engineering and Formal Methods