scientific article

zbMath0974.68035MaRDI QIDQ2744196

Peter Müller

Publication date: 19 September 2001

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

zbMATH Keywords

object-oriented programmingmodular software

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Hoare logic for Java in Isabelle/HOL