Brijesh Dongol, Elena Troubitsyna. <br/><br/>
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030634612 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence. Computer logic. Natural language processing (Computer science). Microprogramming . Special purpose computers. Architecture, Computer. Logic in AI. Natural Language Processing (NLP). Control Structures and Microprogramming. Special Purpose and Application-Based Systems. Computer System Implementation.