Explora I+D+i UPV

Volver atrás Publicación

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

Compartir
Año

Libro

Seminal Contributions to Information Systems Engineering 2013