Items where authors include "Sutcliffe, G."

[up] Up a level
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 Thu Apr 3 06:38:42 2025 BST.