Josa(c) Meseguer

• Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings