Theorem proving in higher order logics by Correct hardware design and verification methods (Advanced research working conference), Livingston) 0 Type: Book
