scientific article; zbMATH DE number 1787176

From MaRDI portal

Publication:4550172

Jump to:navigation, search

zbMath1021.68020MaRDI QIDQ4550172

Franz Achermann, O. M. Nierstrasz

Publication date: 20 October 2002

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

zbMATH Keywords

Mathematics Subject Classification ID

Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items (2)

A calculus for reasoning about software composition ⋮ PICCOLA

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4550172&oldid=18681901"