scientific article; zbMATH DE number 2000442
From MaRDI portal
Publication:4433995
zbMath1023.68024MaRDI QIDQ4433995
Bernardo Martín González Rodríguez, Juan Manuel Cueva Lovelle, María C. Luengo Díez, José Emilio Labra Gayo
Publication date: 3 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2178/21780597.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
This page was built for publication: