This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.