Home›Books›Nikolaj BjørnerNikolaj BjørnerNo biography available.Works (2)Perspectives of System InformaticsFM 2015 : Formal Methods