HIGHLIGHTS
- who: Peter Gju00f8l Jensen from the Aalborg University, Aalborg, Denmark have published the article: Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS, in the Journal: (JOURNAL)
SUMMARY
TACAS and amp; tools TACAS aims to bring together researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. TACAS 2018 saw the introduction of an Artifact Evaluation Committee (AEC), which runs the tools and replicates results inside a standardised virtual machine, based on instructions provided by the . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.