Otium BookshelfOtium
Sessione
Caricamento sessione
Formal methods for trustworthy computer systems (FM89)