LEADER 01427nam  2200373   450 
001 9910375699603321
005 20230825105508.0
035   $a(CKB)4100000007597742
035   $a(NjHacI)994100000007597742
035   $a(EXLCZ)994100000007597742
100   $a20230825d2018      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering /$fGary T. Leavens, Alessandro Garcia, Corina S. Pa?sa?reanu ; Association for Computing Machinery-Digital Library, contributor
210  1$aNew York, NY, USA :$cACM,$d2018.
215   $a1 online resource
225 0 $aACM Conferences
311   $a1-4503-5573-0 
606   $aSoftware engineering$vCongresses
615  0$aSoftware engineering
676   $a005.1
700   $aLeavens$b Gary T.$00
702   $aPa?sa?reanu$b Corina S.
702   $aGarcia$b Alessandro
712 02$aAssociation for Computing Machinery-Digital Library,
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910375699603321
996   $aProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering$92021505
997   $aUNINA