Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves. Validating ORA-SS Data Models using Alloy. In 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia. pages 231-242, IEEE Computer Society, 2006. [doi]
@inproceedings{WangDSG06, title = {Validating ORA-SS Data Models using Alloy}, author = {Lin Wang and Gillian Dobbie and Jing Sun and Lindsay Groves}, year = {2006}, doi = {10.1109/ASWEC.2006.54}, url = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.54}, tags = {data validation, data-flow}, researchr = {https://researchr.org/publication/WangDSG06}, cites = {0}, citedby = {0}, pages = {231-242}, booktitle = {17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia}, publisher = {IEEE Computer Society}, isbn = {0-7695-2551-2}, }