01
Refinement in Z and Object-Z Foundations and Advanced Applications
The earliest high-confidence catalog date in this author overview is 2001.
Author
Eerke A. Boiten
3 cataloged contributions
2001–2003 across 3 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Eerke A. Boiten, drawn from catalog context and salon activity when available.
02
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
A clearly attributed work with a supported 2001 catalog date.
03
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
A clearly attributed work with a supported 2003 catalog date.
The catalog
Bibliography
3 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
4 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0