AApplied Assertion-Based VerificationApplied Assertion-Based Verificationde Harry FosterMateriasComputersTechnologyEdiciones (1)Applied Assertion-Based Verification (2009)Now Publishers · inglés · ISBN 9781601982186Más obras de Harry FosterApplied formal verificationApplied formal verificationAssertion-Based Design