FORMULA

Language:
English
FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). Last published: August 17, 2011.