Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O'Shea, T., & Sufrin, B.; 1999; Influences of Software Design on Formal Reasoning; in Brewster, S., Cawsey, A. & Cockton, G. (Eds.)
Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O'Shea, T., & Sufrin, B.; 1999; Influences of Software Design on Formal Reasoning; in Brewster, S., Cawsey, A. & Cockton, G. (Eds.)