scientific article; zbMATH DE number 3626570
From MaRDI portal
zbMath0403.68015MaRDI QIDQ4188712
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First Order Predicate CalculusFloyd's Partial Correctness ConceptHorn ClausesVerification Conditions
Related Items