Momtahan, L. (2005). Towards a small model theorem for data independent systems in Alloy. Elsevier.
Chicago Style (17th ed.) CitationMomtahan, L. Towards a Small Model Theorem for Data Independent Systems in Alloy. Elsevier, 2005.
MLA (9th ed.) CitationMomtahan, L. Towards a Small Model Theorem for Data Independent Systems in Alloy. Elsevier, 2005.
Warning: These citations may not always be 100% accurate.