Emanuele

Verification of Message Passing Concurrent Systems (Distinguished Dissertation)

By D'Osualdo, Emanuele

The Travels of Marco Polo

By Luzzati, Emanuele