Vajih Montaghami, Derek Rayside. Extending Alloy with Partial Instances. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 122-135, Springer, 2012. [doi]
@inproceedings{MontaghamiR12,
title = {Extending Alloy with Partial Instances},
author = {Vajih Montaghami and Derek Rayside},
year = {2012},
doi = {10.1007/978-3-642-30885-7_9},
url = {http://dx.doi.org/10.1007/978-3-642-30885-7_9},
researchr = {https://researchr.org/publication/MontaghamiR12},
cites = {0},
citedby = {0},
pages = {122-135},
booktitle = {Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
editor = {John Derrick and John A. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene},
volume = {7316},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-30884-0},
}