STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Kaisa Sere | lit.salon
Kaisa Sere
No bio available.
Add one in Open Library.
Books by Kaisa Sere (50 max)
+ shelf
+ list
Program Development by Refinement
1998
Emil Sekerinski, Kaisa Sere
+ shelf
+ list
Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings
2003
Michael Butler, Luigia Petre, Kaisa Sere
+ shelf
+ list
Dependability and Computer Engineering
2011
Luigia Petre, Kaisa Sere, Elena Troubitsyna