booktheque

Kaisa Sere

Books

Co-authored books and collections

Books that list Kaisa Sere among their authors but not as the lead author: co-written works, collections and compilations.

Program Development by Refinement
Emil Sekerinski · 2012
Dependability and Computer Engineering
Luigia Petre · 2011
Integrated Formal Methods
Michael Butler · 2003