Kaisa Sere

Identifiers

Open LibraryOL10231585A

Top Subjects

Computer science (1)

Books by Kaisa Sere

Total count: 3

Program Development by Refinement

Island Press1998-01-01
Integrated Formal MethodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings

Springer London, Limited2003-01-01
Dependability and Computer Engineering

IGI Global2011-01-01