Dependability and Computer Engineering: Concepts for Software-Intensive Systems Petre Luigia Kombinasjonsprodukt / 2011 / Engelsk
Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. Butler, Michael Heftet / 2002 / Engelsk
