Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part II - Vojnar, Tomáš; Zhang, Lijun (Springer Open, 2019)
Literaturangaben
Keywords: Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Logic Design; Logic in AI.; Logic design; Software engineering; Computer science; Computer software; Artificial intelligence; Computer logic; Theoretische Informatik; Entscheidungsverfahren; Programmverifikation; Programmierung; Softwareentwicklung; Hardwareverifikation; Systementwicklung; Model Checking; Systemanalyse; Programmiersprache; Konferenzschrift -- 2019 -- Prag; Aufsatzsammlung