TACAS
TACAS (Conférence)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VIAF ID: 300651479 ( Corporate )
Permalink: http://viaf.org/viaf/300651479
Preferred Forms
-
- 110 2 _ ‡a TACAS
- 111 2 _ ‡a TACAS
- 111 2 _ ‡a TACAS (Conference)
-
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Tools and algorithms for the construction and analysis of systems, 2013: |