scientific article

From MaRDI portal

Publication:4068066

Jump to:navigation, search

zbMath0309.68025MaRDI QIDQ4068066

Maarten M. Fokkinga

Publication date: 1974

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (1)

Program invariants as fixedpoints

This page was built for publication:

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