Abstract Interpretation of B Specifications in Prolog

Author

Rene Bartelmus

Advised By

Jens Bendisposto

Retrieved from "http://www.formal-methods.de/w/Abstract_Interpretation_of_B_Specifications_in_Prolog"

Categories: Jens Bendisposto | Completed Thesis