scientific article

From MaRDI portal

Publication:3939209

Jump to:navigation, search

zbMath0481.68020MaRDI QIDQ3939209

Rohit Parikh

Publication date: 1982

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

zbMATH Keywords

Galois connection relational semantics partial correctness assertions Hoare logics Lindenbaum topology

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Floyd's principle, correctness theories and program equivalence

This page was built for publication:

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