Personal Information
Organization / Workplace
Helsinki, Finland
About
ANNA is based on first-order logic and includes generalized type constraints, virtual checking functions and behavior specification constructs, from simple assertions to complex algebraic specifications.