User menu

Formal Methods for Industrial Critical Systems

Bibliographic reference Dierkes, Michael ; Pecheur, Charles. Formal Methods for Industrial Critical Systems. Springer : Heidelberg (2013) (ISBN:978-3-642-41009-3) 212 pages
Permanent URL http://hdl.handle.net/2078.1/134259