scientific article
From MaRDI portal
Publication:3683528
zbMath0567.68013MaRDI QIDQ3683528
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program correctnesscompleteness of proof methodsFloyd-Hoare method for program verificationnon-standard programs
This page was built for publication: