TY  - BOOK
AU  - Brijesh Dongol, Elena Troubitsyna.
TI  - Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
SN  - 9783030634612
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - 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
UR  - https://doi.org/10.1007/978-3-030-63461-2
ER  -