http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Implementation of Z language specification processor for checking the correctness of Z specification
Honors Degree In Software Engineering (BSECU) - Double module Final Project Report
A dissertation submitted in partial fulfillment of the requirement of Honors Degree in Computer Software Engineering at Coventry University under themanagement and surpervision of Faculty Computing and IT, INTI International University