This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Continue readingThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue reading