FORMULA 2.0

swMATH13248MaRDI QIDQ25163FDOQ25163

Author name not available (Why is that?)

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

Described by source

• FORMULA 2.0: a language for formal specifications

Cited In (3)

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

This page was built for software: FORMULA 2.0