Author: "Hesketh, Jane" / Publisher: kluwer academic publishers - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Hesketh, Jane"' showing total 3 results

Start Over Author "Hesketh, Jane" Publisher kluwer academic publishers

3 results on '"Hesketh, Jane"'

1. Lightweight Formalisation in Support of Requirements Engineering

Author: Hesketh, Jane, Robertson, David, Fuchs, Norbert, and Bundy, Alan
Published: 1998
Full Text: View/download PDF

2. A recursion planning analysis of inductive completion

Author: Barnett, Richard, Basin, David, and Hesketh, Jane
Published: 1993
Full Text: View/download PDF

3. Experiments with proof plans for induction

Author: Bundy, Alan, van Harmelen, Frank, Hesketh, Jane, and Smaill, Alan
Published: 1991
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results