Browse
FAQ

Author

Kaisa Sere

3 books found

Cover of Dependability and Computer Engineering

Dependability and Computer Engineering

Luigia Petre, Kaisa Sere, Elena Troubitsyna · First published 2011

Cover of Integrated Formal Methods

Integrated Formal Methods

Michael Butler, Luigia Petre, Kaisa Sere · First published 2003

Cover of Program Development by Refinement

Program Development by Refinement

Emil Sekerinski, Kaisa Sere · First published 1998