Using Theory Morphisms for Implementing Formal Methods Tools (2003)

by Achim D. Brucker , Burkhart Wolff
Citations:6 - 5 self