Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings

From MaRDI portal
(Redirected from Publication:363484)

DOI10.1007/978-3-319-02444-8MaRDI QIDQ363484zbMATH OpenOpenAlexFDO

Authors

Publication date 2 September 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-02444-8


Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)





Recommendations



Cited in
(2)


Describes a project that uses

Uses Software






This page was built for publication: Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q363484)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Automated_technology_for_verification_and_analysis._11th_international_symposium,_ATVA_2013,_Hanoi,_Vietnam,_October_15--18,_2013._Proceedings&oldid=77627129"
Powered by MediaWiki