Publication:4188712
From MaRDI portal
zbMath0403.68015MaRDI QIDQ4188712
Publication date: 1976
First Order Predicate Calculus; Floyd's Partial Correctness Concept; Horn Clauses; Verification Conditions
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items