scientific article; zbMATH DE number 3997144
From MaRDI portal
Publication:4723280
zbMath0615.68015MaRDI QIDQ4723280
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (2)
Multilevel structured program designs and correctness proving ⋮ Relationship of program correctness checking methods
This page was built for publication:
