Vol-1843⫷ Vol-1844 ⫸Vol-1845
urn:nbn:de:0074-1844-0


Vol-1844/10000459⫷Vol-1844/10000467⫸Vol-1844/10000488
Ievgen IvanovTaras Panchenko

A Formal Proof of Correctness of a Distributed Presentation Software System