Refinement in Z and Object-Z Foundations and Advanced Applications Derrick John Heftet / 2001 / Engelsk
Refinement in Z and Object-Z Foundations and Advanced Applications Derrick John Innbundet / 2013 / Engelsk
Refinement in Z and Object-Z Foundations and Advanced Applications Derrick John Heftet / 2015 / Engelsk
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings Boiten Eerke A. Heftet / 2002 / Engelsk
