Publication:2757818

zbMath0977.68552MaRDI QIDQ2757818

Frank Leßke

Publication date: 4 December 2001

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q65: Abstract data types; algebraic specification

03B44: Temporal logic

Related Items

Specification of abstract dynamic-data types: A temporal logic approach