Reiner Haehnle

• Formal Methods for Executable Software Models