Tool support for the interactive derivation of formally correct functional programs (2003)

by Walter Guttmann , Helmuth Partsch , Wolfram Schulte , Ton Vullinghs
Venue: JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Citations:5 - 0 self