scientific article; zbMATH DE number 3630191

zbMath0405.68015MaRDI QIDQ4191572

No author found.

Publication date: 1978

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

Mathematics Subject Classification ID

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

Related Items

The formal termination problem for programs with finite ALGOL 68-modes, On termination problems for finitely interpreted ALGOL-like programs