scientific article; zbMATH DE number 2104621

zbMath1083.68065MaRDI QIDQ4818731

Nicoletta De Francesco, Cinzia Bernardeschi, Giuseppe Lettieri

Publication date: 1 October 2004

Full work available at URL: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=81

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Securing the Future — An Information Flow Analysis of a Distributed OO Language

This page was built for publication: