Formal Methods within a Totally Functional Approach to Programming, in B.K. Aichernig and T. Maibaum Eds., Formal Methods at the Crossroads: from Panacea to Foundational Support (2003)

by Paul A. Bailes , Colin J. M. Kemp
Venue:Institute for Software Technology of The United Nations University
Citations:2 - 2 self