Shang-Wei Lin, Zhe Hou, Brendan Mahony. <br/><br/>
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030634063 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers. Software engineering. Application software. Programming languages (Electronic computers). Artificial intelligence. Computer logic. Natural language processing (Computer science). Theory of Computation. Software Engineering. Information Systems Applications (incl. Internet). Programming Languages, Compilers, Interpreters. Logic in AI. Natural Language Processing (NLP).