Details for the publication VojnarZ22.

Tomás Vojnar, Lijun Zhang: Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. In Int. J. Softw. Tools Technol. Transf. 24(1):29-31, 2022. DOI BIB