Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / Brijesh Dongol, Elena Troubitsyna (eds.).

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum...

Full description

Saved in:

Bibliographic Details
Corporate Author:	International Conference on Integrated Formal Methods Online
Other Authors:	Dongol, Brijesh (Editor), Troubitsyna, Elena (Elena A.), 1970- (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2020]
Series:	Lecture notes in computer science ; 12546. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. Artificial intelligence. Computer logic. Natural language processing (Computer science) Microprogramming. Computers, Special purpose. Computer architecture. artificial intelligence. Formal methods (Computer science) Artificial intelligence Computer architecture Computer logic Computers, Special purpose Microprogramming proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
Status:	Available

Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / Brijesh Dongol, Elena Troubitsyna (eds.).

‌

Online

Similar Items