Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)
Publication year: 2006
: 978-3-540-33057-8
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS.
: Computer Science, Variable, abstraction, algorithm, algorithms, automata, data structure, logic, model checking, object oriented design, program analysis, programming, programming theory, systems development, systems modeling, systems verification
