Formal Methods within A Totally Functional Approach to Programming”, to appear


Download Links

by Paul A. Bailes , Colin J. M. Kemp
Venue:Formal Methods at the Crossroads: from Panacea to Foundational Support”, Proc. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations
Citations:2 - 2 self