Kaisa Sere

Dependability and Computer Engineering
Integrated Formal Methods
Program Development by Refinement