Workshop on the Assessment of Formal Methods for Trustworthy Computer

Books by Workshop on the Assessment of Formal Methods for Trustworthy Computer on BookTides.