Thomas KropfBooksFormal hardware verificationCorrect Hardware Design and Verification MethodsKommunikative Funktionen des Dialekts im UnterrichtFormal Hardware VerificationIntroduction to Formal Hardware VerificationIntroduction to Formal Hardware VerificationAuthor data: Open Library