LEADER 03279nam  22007455  450 
001 9910349435603321
005 20230329151852.0
010   $a3-319-92970-4
024 7 $a10.1007/978-3-319-92970-5
035   $a(CKB)3810000000358658
035   $a(DE-He213)978-3-319-92970-5
035   $a(MiAaPQ)EBC6301798
035   $a(PPN)229494293
035   $a(EXLCZ)993810000000358658
100   $a20180529d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $e16th International Conference, SEFM 2018,  Held as Part of STAF 2018, Toulouse, France, June 27?29, 2018, Proceedings /$fedited by Einar Broch Johnsen, Ina Schaefer
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XIV, 303 p. 98 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10886
311   $a3-319-92969-0 
327   $aSpecification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse.
330   $aThis book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10886
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputers
606   $aProfessions
606   $aElectronic digital computers?Evaluation
606   $aComputer science
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aThe Computing Profession
606   $aSystem Performance and Evaluation
606   $aTheory of Computation
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputers.
615  0$aProfessions.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aThe Computing Profession.
615 24$aSystem Performance and Evaluation.
615 24$aTheory of Computation.
676   $a005.1
702   $aJohnsen$b Einar Broch$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchaefer$b Ina$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349435603321
996   $aSoftware Engineering and Formal Methods$92915885
997   $aUNINA