'During the last decades Computational Intelligence has emerged and showed its contributions in v...
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Pr...
This book constitutes the thoroughly refereed proceedings of the 31st International Conference on...
This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on C...
Formal verification of digital systems is achieved, today, using one of two main approaches: stat...
'During the last decades Computational Intelligence has emerged and showed its contributions in v...
Recent advances in technologies have created a need for solving security problems in a systematic...
This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on C...