Proof and Specification Assisted Design Environments (PROSPER) — LT World

LT World

Supporters

provided by

dfki logo

with support by

eu star logofp7 logo

through

meta logo
clarin logo

as well as by

bmbf logo

through

take logo

N.B.

This site uses Google Analytics to record statistics about site visits - see Legal Information.

You are here: Home kb Players & Teams Projects Proof and Specification Assisted Design Environments (PROSPER)

Proof and Specification Assisted Design Environments (PROSPER)


tfm@dcs.gla.ac.uk

April 30, 2001

May 01, 1998

  • Louise Dennis
  • Dirk W. Hoffmann
  • Mike Gordon
  • Michael Norrish
  • Kim Sunesen
  • Wolfgang Rosenstiel
  • Mary Sheeran
  • Kong Woei Susanto
  • Tom Melham
  • Alan Bundy
  • Thomas Kropf
  • Arne Borälv
  • Fang Huang
  • Marc Moens
  • Lars Lundgren
  • Richard Boulton
  • Gunnar Stålmarck
  • Claire Grover
  • Alexander Holt
  • Ewan Klein
  • Konrad Slind
  • Fatima Beltagui


  • Language Independent

  • Natural Language Interface