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
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00S-N5V.pdf
Size:
572.13 KB
Format:
Adobe Portable Document Format
Description:
Collections