ahmed bouajjani

Verification, Model Checking, and Abstract Interpretation

The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selecte...

Automated Technology for Verification and Analysis

Computer Aided Verification

This book constitutes the refereed proceedings of the 21st International Conference on Computer A...

Networked Systems

This bookconstitutes the revised selected papers of the Third International Conferenceon Network...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 20th International Symposium on Automated T...

Computer Aided Verification

This book constitutes the refereed proceedings of the 21st International Conference on Computer A...

Verification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings of the 18th International Conference on Verific...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 20th International Symposium on Automated T...

Networked Systems

This bookconstitutes the revised selected papers of the Third International Conferenceon Netwo...