LEADER 01304nam 2200373 450 001 9910132357503321 005 20230803034021.0 010 $a0-7695-5053-3 035 $a(CKB)3460000000126472 035 $a(WaSeSS)IndRDA00119771 035 $a(EXLCZ)993460000000126472 100 $a20200309d2013 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2013 International Symposium on Theoretical Aspects of Software Engineering $e1-3 July 2013, Birmingham, United Kingdom /$fIEEE Computer Society 210 1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2013. 215 $a1 online resource (128 pages) 311 $a1-4799-0735-9 606 $aSoftware engineering$vCongresses 606 $aComputer software$xDevelopment$vCongresses 615 0$aSoftware engineering 615 0$aComputer software$xDevelopment 676 $a005.1 701 $aMargaria-Steffen$b Tiziana$f1964-$0845731 712 02$aIEEE Computer Society, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910132357503321 996 $a2013 International Symposium on Theoretical Aspects of Software Engineering$92881638 997 $aUNINA