Composable packages for higher order logic theories, (2010)

by Joe Hurd
Venue:in Proceedings of the 6th International Verification Workshop (VERIFY