Towards A Theory Of Specifications, Programs And Proofs (1995)

Cached

Download Links

by Nora Szasz
Venue:In Proceedings of the 7th. Nordic Workshop on Programming Theory, PMG report 86, Goteborg
Citations:1 - 0 self