Software engineering and formal methods 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, proceedings - de Boer, Frank S.; Cerone, Antonio (Springer, 2020)
Keywords: Software Engineering; Artificial Intelligence; Computer Hardware; Special Purpose and Application-Based Systems; Software engineering; Artificial intelligence; Computer hardware; Special purpose computers; Künstliche Intelligenz; Logik; Natürliche Sprache; Mikroprogrammierung; Konferenzschrift -- 2020 -- Online