NASA Formal MethodsRitchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra GiannakopoulouHäftad, 20201 079 kr
Del 12863Formal Methods for Industrial Critical SystemsAlberto Lluch Lafuente, Anastasia MavridouHäftad, 2021739 kr
NASA Formal MethodsRitchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra GiannakopoulouHäftad, 20201 079 kr
Del 12863Formal Methods for Industrial Critical SystemsAlberto Lluch Lafuente, Anastasia MavridouHäftad, 2021739 kr