Burkhart Wolff
Author
Alternate names B. Wolff, Burkhart Wolff, Wolff Burkhart
Institutions Université Paris-Saclay, Laboratoire Méthodes Formelles, Institut de Recherche Technologique SystemX
Past institutions Université Paris-Saclay, Institut de Recherche Technologique SystemX, Laboratoire Méthodes Formelles, Laboratoire de Recherche en Informatique, Centre National de la Recherche Scientifique +5 more
ORCID: Yes
H-index: 23
I10-index: 48
Works count: 167
Citations count: 1,567
HOL-OCL: A Formal Proof Environment for uml/ocl
2008 · Achim D. Brucker, Burkhart Wolff · Fundamental Approaches to Software Engineering
A structure preserving encoding of Z in isabelle/HOL
1996 · Kolyang, Thomas Santen, et al. · Lecture notes in computer science
The HOL-OCL Book
2006 · Achim D. Brucker, Burkhart Wolff