Stefania Gnesi · 8 obras en el catálogoObrasFormal methodsFundamental Approaches to Software EngineeringFM 2016 : Formal MethodsFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical SystemsCCritical Systems : Formal Methods and Automated VerificationCritical Systems : Formal Methods and Automated VerificationPProceedings of the 2nd FME Workshop on Formal Methods in SofProceedings of the 2nd FME Workshop on Formal Methods in Software EngineeringPProceedings of the 18th International Software Product Line Proceedings of the 18th International Software Product Line ConferencePProceedings of the Seventh International Workshop on VariabiProceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems
CCritical Systems : Formal Methods and Automated VerificationCritical Systems : Formal Methods and Automated Verification
PProceedings of the 2nd FME Workshop on Formal Methods in SofProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
PProceedings of the 18th International Software Product Line Proceedings of the 18th International Software Product Line Conference
PProceedings of the Seventh International Workshop on VariabiProceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems
