Fairtlough, M. ; Mendler, Michael ; Cheng, X.:
Abstraction and refinement in higher-order logic
.
In: Boulton, R. J. ; Jackson, P. B. (Hrsg.) : International Conference on Theorem Proving in Higher-order Logic
(TPHOLs`2001, Edinburgh, September 2001).
2001, S. 201-216. (LNCS Bd. 2152)
Institution: Professur für Grundlagen der Informatik
|
|