Items where authors include "Ostroff, J.S."

Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Paige, R.F. and Ostroff, J.S. (2004) ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing, 16 (1). pp. 51-79. ISSN 0934-5043

This list was generated on Sun Mar 24 11:47:13 2024 GMT.