Marsha Chechik · 6 obras en el catálogoObrasFundamental Approaches To Software Engineering 12th International Conference ProceedingsTools and Algorithms for the Construction and Analysis of SystemsFundamental Approaches to Software EngineeringVVerified Software. Theories, Tools, and ExperimentsVerified Software. Theories, Tools, and ExperimentsCCONCUR 2008 - Concurrency TheoryCONCUR 2008 - Concurrency TheoryFFormal MethodsFormal Methods
VVerified Software. Theories, Tools, and ExperimentsVerified Software. Theories, Tools, and Experiments