Items where authors include "Hofner, P."

[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 Wed Apr 2 06:09:47 2025 BST.