This book constitutes the refereed proceedings of the 13th International Conference on Verified S...

There are significant financial and legal implications for ensuring design correctness and safety...

There are significant financial and legal implications for ensuring design correctness and safety...