Search

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

Search Constraints

Start Over You searched for: Author "Hesketh, Jane" Remove constraint Author: "Hesketh, Jane" Database Supplemental Index Remove constraint Database: Supplemental Index
5 results on '"Hesketh, Jane"'

Search Results

1. EXPRESSING PROGRAM REQUIREMENTS USING REFINEMENT LATTICES

2. Experiments with proof plans for induction

3. Lightweight Formalisation in Support of Requirements Engineering

4. Reliable and accountable system design

5. A recursion planning analysis of inductive completion

Catalog

Books, media, physical & digital resources