scientific article; zbMATH DE number 1949638

zbMath1015.68697MaRDI QIDQ4412557

Graeme Smith

Publication date: 15 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2495/24950588.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) Computing methodologies and applications (68U99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: