Items where authors include "Sutcliffe, G."

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

Article

Hofner, P., Struth, G. and Sutcliffe, G. (2009) Automated verification of refinement laws. Annals of Mathematics and Artificial Intelligence, 55 (1-2). pp. 35-62. ISSN 1012-2443

This list was generated on Sun Apr 21 19:30:04 2024 BST.