An Equational Calculus for Alloy. Frias, M. F., Pombo, C. L., & Aguirre, N. In Davies, J., Schulte, W., & Barnett, M., editors, Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, volume 3308, of Lecture Notes in Computer Science, pages 162–175, 2004. Springer.
An Equational Calculus for Alloy [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/icfem/FriasPA04,
	author = {Marcelo F. Frias and Carlos L{\'{o}}pez Pombo and Nazareno Aguirre},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/icfem/FriasPA04.bib},
	booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},
	doi = {10.1007/978-3-540-30482-1\_19},
	editor = {Jim Davies and Wolfram Schulte and Michael Barnett},
	pages = {162--175},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	timestamp = {Tue, 14 May 2019 10:00:50 +0200},
	title = {An Equational Calculus for Alloy},
	url = {https://doi.org/10.1007/978-3-540-30482-1\_19},
	volume = {3308},
	year = {2004},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-540-30482-1%5C_19},
	Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-30482-1%5C_19}}

Downloads: 0