A Formal Proof of Correctness of a Distributed Presentation Software System.

Ievgen Ivanov, Taras Panchenko

Browse the full ICTERI paper archive.