TY  - GEN
AU  - Beyer,Dirk
AU  - Huisman,Marieke
AU  - Kordon,Fabrice
AU  - Steffen,Bernhard
AU  - Beyer,Dirk
AU  - Huisman,Marieke
AU  - Kordon,Fabrice
AU  - Steffen,Bernhard
TI  - Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
SN  - 978-3-030-17502-3
PY  - 2019///
PB  - Springer Nature
KW  - Information technology: general issues
KW  - bicssc
KW  - Computer programming / software development
KW  - Software Engineering
KW  - Mathematical theory of computation
KW  - Systems analysis & design
KW  - Computer modelling & simulation
KW  - Computer science
KW  - Computer logic
KW  - Software engineering
KW  - Mathematical logic
KW  - Computers
KW  - Computer system failures
KW  - Computer simulation
N1  - Open Access
N2  - This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS
UR  - https://library.oapen.org/bitstream/20.500.12657/23327/1/1006828.pdf
UR  - https://directory.doabooks.org/handle/20.500.12854/27642
ER  -