1
Publicado 2013
Tabla de Contenidos: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Enlace del recurso
Electrónico eBook