Using Theory Morphisms for Implementing Formal Methods Tools.

Achim D. Brucker Burkhart Wolff Using Theory Morphisms for Implementing Formal Methods Tools. 59-77 2002 conf/types/2002 TYPES http://link.springer.de/link/service/series/0558/bibs/2646/26460059.htm db/conf/types/types2002.html#BruckerW02