Rigorous Development of Functional Programs Using Temporal Logic (2003)

Cached

Download Links

by Carlos H. C. Duarte