Lee Momtahan
| Lee Momtahan
Doctoral Student (Part Time)
Research Officer
|
publications
|
Towards a Small Model Theorem for Data Independent Systems in Alloy
Lee Momtahan
In Proceedings of AVOCS04 Elsevier ENTCS, August 2004.
Details
|
BibTeX
| Link (ps) |
|
A Simple Small Model Theorem for Alloy
Lee Momtahan
June 2004.
OUCL.
Details
|
BibTeX
|
View all
info
location
Wolfson Building, Parks Road, Oxford OX1 3QD
|
