A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
2017
Acta Informatica
The International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) is a forum for researchers, developers and users interested in the rigorous development of tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and support them in their quest to improve the utility, reliability, exibility and efficiency of tools and algorithms for building systems.
doi:10.1007/s00236-017-0298-1
fatcat:my3ejqypvbgprohdlg63ll3jcm