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

Publicaciones en la fuente INTEGRATED FORMAL METHODS, PROCEEDINGS

Tipo Año Título Fuente
Artículo2004A method for compiling and executing expressive assertionsINTEGRATED FORMAL METHODS, PROCEEDINGS