Tools and algorithms for the construction and analysis of systems : Part I / 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Jan Friso Groote, Kim Guldstrand Larsen (eds.).

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27-April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Softwar...

Full description

Bibliographic Details

Corporate Authors:	TACAS (Conference) Online), ETAPS (Conference)
Other Authors:	Groote, J. F. (Jan Friso), 1965- (Editor), Larsen, K. G. (Kim G.), 1957- (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, 2021.
Series:	Lecture notes in computer science ; 12651. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	System design > Congresses. Computer software > Verification > Congresses. System analysis > Congresses. Artificial intelligence. Theory of Computation. computers. artificial intelligence. Computer software > Verification System analysis System design proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access