scientific article

zbMath0591.68039MaRDI QIDQ3719822

A. J. M. van Gasteren

Publication date: 1985

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

zbMATH Keywords

posetfixed pointpredicate calculussemanticsprogramming languagewell-foundedness

Mathematics Subject Classification ID

Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10)

This page was built for publication: