scientific article

zbMath0489.68008MaRDI QIDQ3951517

Á. Fóthi, Zoltán Varga

Publication date: 1980

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

zbMATH Keywords

expansible problemprogramming methods of Dijkstra and Jacksonterminal functions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: