A Z approach in validating ORA-SS data models

Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publicationElectronic Notes in Theoretical Computer Science [P]
EditorsSupratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
Place of PublicationAmsterdam Netherlands
Pages95 - 109
Number of pages15
ISBN (Print)1571-0661
Publication statusPublished - 2006
Externally publishedYes
EventInternational Workshop on Software Verification and Validation - Manchester UK, Amsterdam Netherlands
Duration: 1 Jan 2006 → …


ConferenceInternational Workshop on Software Verification and Validation
CityAmsterdam Netherlands
Period1/01/06 → …

Cite this