Validating and Animating Higher-Order Recursive Functions in B
2007) Validating and Animating Higher-Order Recursive Functions in B. In Proceedings of Festschrift for Egon Börger (in press). Abrial,, J. R. and Glässer, U., Eds. (
ECS staff and postgraduates may modify this record.
Members of ECS may view the download statistics dashboard for this record.
Metadata available via OAI as: oai_dc (unqualified dublin core)