Taxonomies for the Development and Verification of Digital SystemsBrian Bailey, Grant Martin, Thomas AndersonInbunden1 081 kr