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