HasCASL DFG Project

HasCASL DFG Project
All Links

Share this:

Details of HasCASL DFG Project

About HasCASL DFG Project
HasCASL DFG Project- Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.
Sisal