DMCA

A Provably Correct Functional Programming Approach to the Prototyping of Formal Z Specifications (2003)

Cached

Download Links

by Ali E. Abdallah , Jonathan P. Bowen , Alexandra Barros , José B. Barros
Citations:2 - 0 self