Brian J. Cardiff
Writing
TIL
#formal-methods
Everything tagged
formal-methods
.
Writing
Oct 2008
Towards Abstraction for DynAlloy Specifications
Submitted publication to ICFEM 2008