Unfolding Abstract Datatypes

DOI10.1007/978-3-540-70594-9_8zbMath1156.68482OpenAlexW1598598190MaRDI QIDQ3521983

Jeremy Gibbons

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:b51d2af6-25de-41ae-b3e7-9ac997de87b3

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Unfolding Abstract Datatypes