José Meseguer

A person, computer scientist member of the Maude team.


This page is linked from: Methods of Reflection