Publication:3327706
From MaRDI portal
zbMath0541.68009MaRDI QIDQ3327706
Jan A. Bergstra, Jerzy Tiuryn, Anna Chmielinska
Publication date: 1982
completeness; expressiveness; proof system; recursiveness; partial correctness assertions; programming logic; Hoare's logic
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items