scientific article; zbMATH DE number 1832221

zbMath0997.68517MaRDI QIDQ4778699

Fausto Spoto

Publication date: 19 November 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260127

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 (2)

Logic programs as compact denotations. ⋮ Magic-sets for localised analysis of Java bytecode

This page was built for publication: