Directorios

Enlace: http://www.springerlink.com/link.asp?id=100266

Descripción: Kluwer Academic Publishers
«The journal is an international forum for the dissemination of research related to the application and development of formal methods in both hardware (VLSI) and software system design.»
ISSN 0925-9856