Sorry, we couldn’t find any results for “Mechanized Reasoning and Hardware Design: C A R Hoare and M J C Gordon (Eds) Prentice Hall, Hemel Hempstead, UK (1992) ISBN 0 13 572405 8, £40, pp 151.”.

Double check your search request for any spelling errors or try a different search term.