Title: Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
Subjects: Logic design, Computer networks, Software engineering, Computer software