03539nam 22007215 450 99646555560331620200629203807.03-319-66845-510.1007/978-3-319-66845-1(CKB)4100000000393623(DE-He213)978-3-319-66845-1(MiAaPQ)EBC6283368(MiAaPQ)EBC5577601(Au-PeEL)EBL5577601(OCoLC)1003646067(PPN)204533546(EXLCZ)99410000000039362320170826d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods[electronic resource] 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /edited by Nadia Polikarpova, Steve Schneider1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XXI, 438 p. 109 illus.) Programming and Software Engineering ;105103-319-66844-7 This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.Programming and Software Engineering ;10510Software engineeringProgramming languages (Electronic computers)ComputersComputer organizationArtificial intelligenceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000The Computing Professionhttps://scigraph.springernature.com/ontologies/product-market-codes/I24075Software engineering.Programming languages (Electronic computers).Computers.Computer organization.Artificial intelligence.Software Engineering.Programming Languages, Compilers, Interpreters.Theory of Computation.Computer Systems Organization and Communication Networks.Artificial Intelligence.The Computing Profession.004.0151Polikarpova Nadiaedthttp://id.loc.gov/vocabulary/relators/edtSchneider Steveedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465555603316Integrated Formal Methods772444UNISA