Tools and algorithms for the construction and analysis of systems

Name: Tools and algorithms for the construction and analysis of systems
ISBN: 9783540606307

by TACAS '95 (1995 Århus, Denmark)

"This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TA…