01427nam 2200373 450 991037569960332120230825105508.0(CKB)4100000007597742(NjHacI)994100000007597742(EXLCZ)99410000000759774220230825d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering /Gary T. Leavens, Alessandro Garcia, Corina S. Păsăreanu ; Association for Computing Machinery-Digital Library, contributorNew York, NY, USA :ACM,2018.1 online resourceACM Conferences1-4503-5573-0 Software engineeringCongressesSoftware engineering005.1Leavens Gary T.0Păsăreanu Corina S.Garcia AlessandroAssociation for Computing Machinery-Digital Library,NjHacINjHaclBOOK9910375699603321Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021505UNINA