scientific article; zbMATH DE number 2090839

zbMath1067.68548MaRDI QIDQ4813390

Francesco Logozzo

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940037.htm

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Class invariants as abstract interpretation of trace semantics

This page was built for publication: