Formal Methods for Eternal Networked Software Systems by Marco Bernardo | Menrva Books | MenrvaBooks