Items where authors include "Hofner, P."
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