000			00789nam a2200133Ia 4500
008			2212144s2020 xx 000 0 und d
020			_a9783030634612
041			_aeng
100			_aBrijesh Dongol, Elena Troubitsyna.
245			_aIntegrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
260			_aCham _bSpringer _c2020
650			_aArtificial 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.
856			_uhttps://doi.org/10.1007/978-3-030-63461-2
999			_c85733 _d85733