LEADER 04160nam  22008295  450 
001 9910483243403321
005 20200630021859.0
010   $a3-319-29613-2
024 7 $a10.1007/978-3-319-29613-5
035   $a(CKB)4340000000001287
035   $a(SSID)ssj0001661403
035   $a(PQKBManifestationID)16438844
035   $a(PQKBTitleCode)TC0001661403
035   $a(PQKBWorkID)14988211
035   $a(PQKB)10912128
035   $a(DE-He213)978-3-319-29613-5
035   $a(MiAaPQ)EBC6294824
035   $a(MiAaPQ)EBC5576631
035   $a(Au-PeEL)EBL5576631
035   $a(OCoLC)1066198418
035   $a(PPN)192771566
035   $a(EXLCZ)994340000000001287
100   $a20160330d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVerified Software: Theories, Tools, and Experiments $e7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /$fedited by Arie Gurfinkel, Sanjit A. Seshia
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (IX, 223 p. 41 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9593
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-29612-4 
327   $aLarge-scale verification -- collaboration:- Theory Unication -- Tool Integration -- Formalized domain knowledge.
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. .
410  0$aProgramming and Software Engineering ;$v9593
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aMathematical logic
606   $aArtificial intelligence
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
676   $a005.14
702   $aGurfinkel$b Arie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeshia$b Sanjit A$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483243403321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA