Browse Research and Tech Reports - Computer Science by Author "Jose Meseguer and Peter Olveczky"