Maurice H. ter Beek · 7 obras en el catálogoObrasWeb Services and Formal MethodsFrom Software Engineering to Formal Methods and Tools, and BackFormal Methods – The Next 30 YearsAArchitecting Dependable Systems VIArchitecting Dependable Systems VIFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical SystemsIIntegrated Formal MethodsIntegrated Formal MethodsPProceedings of the Eleventh International Workshop on VariabProceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
PProceedings of the Eleventh International Workshop on VariabProceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
