01302nam 2200373 450 99628021250331620230803034021.00-7695-5053-3(CKB)3460000000126472(WaSeSS)IndRDA00119771(EXLCZ)99346000000012647220200309d2013 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2013 International Symposium on Theoretical Aspects of Software Engineering 1-3 July 2013, Birmingham, United Kingdom /IEEE Computer SocietyPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2013.1 online resource (128 pages)1-4799-0735-9 Software engineeringCongressesComputer softwareDevelopmentCongressesSoftware engineeringComputer softwareDevelopment005.1Margaria-Steffen Tiziana1964-845731IEEE Computer Society,WaSeSSWaSeSSPROCEEDING9962802125033162013 International Symposium on Theoretical Aspects of Software Engineering2881638UNISA