Kurt Jensen, Andreas Podelski,
«Tools and Algorithms for the Construction and Analysis of Systems»
Springer | ISBN: 354021299X | 2004 | PDF | 608 pages | 5 MB
«Tools and Algorithms for the Construction and Analysis of Systems»
Springer | ISBN: 354021299X | 2004 | PDF | 608 pages | 5 MB
This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004.