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 (Springer, 2020)
Keywords: Künstliche Intelligenz; Logik; Natürliche Sprache; Software Engineering; Mikroprogrammierung; Konferenzschrift -- 2019 -- Oslo