Software engineering and formal methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers - Camara, Javier; Steffen, Martin 1965- (Springer, 2020)
Keywords: Theory of Computation; Logic in AI.; Natural Language Processing (NLP); Control Structures and Microprogramming; Computer System Implementation; Information Systems Applications (incl. Internet); Computers; Artificial intelligence; Computer logic; Natural language processing (Computer science); Microprogramming; Architecture, Computer; Application software; Künstliche Intelligenz; Logik; Natürliche Sprache; Software Engineering; Mikroprogrammierung; Konferenzschrift -- 2019 -- Oslo