Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005

Tipo Año Título Fuente
Ponencia2005Constraint satisfaction techniques for diagnosing errors in Design by Contract softwareProceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005