Methods of Formal Software Verification in the Context of Distributed Systems.

Anna Fatkina, Oleg Iakushkin, Dmitry Selivanov, Vladimir Korkhov

Browse the full ICCSA paper archive.