Items where authors include "Hofner, P."

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 Sat Mar 23 22:01:51 2024 GMT.