[Lecture Notes in Computer Science] Higher Order Logic Theorem Proving and Its Applications Volume 859 || Automating verification by functional abstraction at the system level

✍ Scribed by Melham, Thomas F.; Camilleri, Juanito

• Book ID: 115496020
• Publisher: Springer Berlin Heidelberg
• Year: 1994
• Weight: 702 KB
• Category: Article
• ISBN: 3540488030
• DOI: 10.1007/3-540-58450-1_56