Validating and Animating Higher-Order Recursive Functions in B


Leuschel, Michael, Cansell, Dominique and Butler, Michael, (2007) Validating and Animating Higher-Order Recursive Functions in B Abrial,, Jean-Raymond and Glässer, Uwe (eds.) At Festschrift for Egon Börger.

Download

[img] PDF festschrift_closures_final.pdf - Other
Download (215kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Festschrift for Egon Börger, 2007-01-01
Organisations: Electronic & Software Systems
ePrint ID: 264456
Date :
Date Event
2007Published
Date Deposited: 05 Sep 2007
Last Modified: 23 Feb 2017 11:08
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/264456

Actions (login required)

View Item View Item