uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Counter-Example Guided Program Verification
2016 (English)In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, 2016, Vol. 9995, 25-42 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
2016. Vol. 9995, 25-42 p.
Series
, Lecture Notes in Computer Science
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:uu:diva-307789DOI: 10.1007/978-3-319-48989-6_2OAI: oai:DiVA.org:uu-307789DiVA: diva2:1048404
Conference
FM
Available from: 2016-11-21 Created: 2016-11-21 Last updated: 2016-11-21

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://dx.doi.org/10.1007/978-3-319-48989-6_2http://dx.doi.org/10.1007/978-3-319-48989-6
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link