A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.

Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo

Browse the full TACAS paper archive.