Towards Formally Templated Relational Database Representations in Z

Nicolas Wu, Andrew Simpson

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Second International Conference on Abstract State Machines, Alloy, B and Z
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages363-376
Number of pages14
DOIs
Publication statusPublished - 2010

Publication series

NameABZ'10
PublisherSpringer-Verlag

Cite this