Formal Methods for Eternal Networked Software Systems

Bernardo, MarcoIssarny, Valérie2019-01-092024-06-282019-01-092024-06-282011978-3-642-21455-4https://drs.ess.gov.et/handle/123456789/34155enFormal Methods for Eternal Networked Software SystemsFormal Methods for Eternal Networked Software SystemsBook