Feedback
keyword: architecture verification – 2 free books.
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors