Validating and Animating Higher-Order Recursive Functions in B

Leuschel, M., Cansell, D. and Butler, M. (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.

Downloads

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

211Kb

Item Type Conference or Workshop Item
Research Group Dependable Systems and Software Engineering Research Group
Deposited On 05 September 2007 by Butler, Michael
ID Code 14456

Authors

Michael Leuschel
Dominique Cansell
Michael Butler

Editors

Jean-Raymond Abrial,
Uwe Glässer

Corrections

ECS staff and postgraduates may modify this record.

Tagging

Download Statistics

Last month

Last year

Members of ECS may view the download statistics dashboard for this record.

Metadata

Metadata available via OAI as: oai_dc (unqualified dublin core)

The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/perl/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.