Author: "Stevens, Perdita" / Journal: international journal on software tools for technology transfer - 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 '"Stevens, Perdita"' showing total 3 results

Start Over Author "Stevens, Perdita" Journal international journal on software tools for technology transfer

3 results on '"Stevens, Perdita"'

1. Functional programming languages for verification tools: a comparison of Standard ML and Haskell

Author: Leucker, Martin, Noll, Thomas, Stevens, Perdita, and Weber, Michael
Published: 2005
Full Text: View/download PDF

2. A verification tool developer’s vade mecum

Author: Stevens, Perdita
Published: 1998
Full Text: View/download PDF

3. Guest editors’ introduction: Advancements and extensions of verification techniques

Author: Katoen, Joost-Pieter and Stevens, Perdita
Published: 2004
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results