Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
dc.contributor.author | José Nuno Oliveira | en |
dc.contributor.author | McIver,A | en |
dc.contributor.author | ter Beek,MH | en |
dc.contributor.other | 5601 | en |
dc.date.accessioned | 2020-11-25T16:24:58Z | |
dc.date.available | 2020-11-25T16:24:58Z | |
dc.date.issued | 2019 | en |
dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/11787 | |
dc.identifier.uri | http://dx.doi.org/10.1007/978-3-030-30942-8 | en |
dc.language | eng | en |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.title | Formal Methods – The Next 30 Years | en |
dc.type | Book | en |
dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1