Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
By: edited by Parosh Aziz Abdulla, K. Rustan M. Leino
Contributors: Leino, K. Rustan M.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6605
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642198342; 9783642198359
Subjects: Logic design; Computer networks; Software engineering; Computer science; Artificial intelligence