LEADER 03367nam  22007815  450 
001 9910349389603321
005 20251225205342.0
010   $a9783030035921
010   $a3030035921
024 7 $a10.1007/978-3-030-03592-1
035   $a(CKB)4100000007159065
035   $a(DE-He213)978-3-030-03592-1
035   $a(MiAaPQ)EBC6294939
035   $a(PPN)232470782
035   $a(EXLCZ)994100000007159065
100   $a20181123d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerified Software. Theories, Tools, and Experiments $e10th International Conference, VSTTE 2018, Oxford, UK, July 18?19, 2018, Revised Selected Papers /$fedited by Ruzica Piskac, Philipp Rümmer
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11294
300   $aIncludes index.
311 08$a9783030035914 
311 08$a3030035913 
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v11294
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aElectronic digital computers$xEvaluation
606   $aComputers, Special purpose
606   $aComputers
606   $aProfessions
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSystem Performance and Evaluation
606   $aSpecial Purpose and Application-Based Systems
606   $aThe Computing Profession
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aElectronic digital computers$xEvaluation.
615  0$aComputers, Special purpose.
615  0$aComputers.
615  0$aProfessions.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSystem Performance and Evaluation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aThe Computing Profession.
676   $a005.14
676   $a005.14
702   $aPiskac$b Ruzica$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRümmer$b Philipp$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349389603321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA