PProbabilistic Trace and Testing SemanticsProbabilistic Trace and Testing Semanticsde Marco BernardoEdiciones (1)Probabilistic Trace and Testing Semantics (2022)Now Publishers · inglés · ISBN 9781638280743Más obras de Marco BernardoFormal Methods for Eternal Networked Software SystemsFormal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
