Luca BreveglieriBooksLinguaggi Formali E CompilazioneFault diagnosis and tolerance in cryptographyFormal Languages And CompilationAuthor data: Open Library