Livro
Acesso aberto
Revisado por pares
Theory and Practice of Formal Methods
2016; Springer Science+Business Media; Linguagem: Inglês
10.1007/978-3-319-30734-3
ISSN1611-3349
AutoresJacopo Mauro, Gianluigi Zavattaro,
ResumoThis Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theor
Referência(s)