Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Polikarpova, Nadia; Schneider, Steve; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Software 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