María Alpuente · 4 obras en el catálogoObrasLogic-Based Program Synthesis and TransformationAAutomated specification and verification of web systemsAutomated specification and verification of web systemsSStatic AnalysisStatic AnalysisFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systems
AAutomated specification and verification of web systemsAutomated specification and verification of web systems