LEADER 01901nam 2200517zu 450 001 9910376611503321 005 20210807005052.0 010 $a1-4503-3814-3 035 $a(CKB)3780000000085185 035 $a(SSID)ssj0001651083 035 $a(PQKBManifestationID)16425241 035 $a(PQKBTitleCode)TC0001651083 035 $a(PQKBWorkID)14977247 035 $a(PQKB)11446789 035 $a(WaSeSS)IndRDA00054168 035 $a(Association for Computing Machinery)10.1145/2804337 035 $a(EXLCZ)993780000000085185 100 $a20160829d2015 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a1st International Workshop on Control Theory for Software Engineering (CTSE 2015) : proceedings : August 31, 2015, Bergamo, Italy 210 31$a[Place of publication not identified]$cACM$d2015 215 $a1 online resource (41 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 410 0$aACM Conferences 517 1 $aCTSE 2015 517 1 $aControl Theory for Software Engineering 2015 517 1 $aProceedings of the 1st International Workshop on Control Theory for Software Engineering 606 $aOperations Research$2HILCC 606 $aCivil & Environmental Engineering$2HILCC 606 $aEngineering & Applied Sciences$2HILCC 615 7$aOperations Research 615 7$aCivil & Environmental Engineering 615 7$aEngineering & Applied Sciences 700 $aFilieri$b Antonio$0919186 702 $aMaggio$b Martina 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376611503321 996 $a1st International Workshop on Control Theory for Software Engineering (CTSE 2015) : proceedings : August 31, 2015, Bergamo, Italy$92061621 997 $aUNINA