1.
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May...
by Cuellar, Jorge, Maibaum, Th...
ISBN: 9783540682356
List Price: $79.95
2.
Integrated Formal Methods Third International Conference, Ifm 2002, Turku, Finland, May 15-1...
by Butler, Michael, Petre, Lui...
ISBN: 9783540437031
List Price: $77.95
3.
Dependability and Computer Engineering : Concepts for Software-Intensive Systems
by Petre, Luigia, Sere, K., Tr...
ISBN: 9781609607494