FORMULA 2.0

MaRDI QIDQ25163swMATHFDO

Official website http://formula.codeplex.com/

Described by source

• FORMULA 2.0: a language for formal specifications

Cited in

(4)

• ITP/OCL
• HOL-OCL
• VIDEAS
• PTL: a model transformation language based on logic programming

This page was built for software: FORMULA 2.0