Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

Saved in:
Bibliographic Details
Main Authors Vojnar, Tomás, Zhang, Lijun
Format eBook
LanguageEnglish
Published Cham Springer International Publishing AG 2019
Edition1
Online AccessGet full text

Cover

More Information
ISBN:9783030174644
3030174646