Dependable Systems Group People Projects Research Events Publications Links Group Info School of Mathematical & Computer Sciences				Links Formal Methods and Dependable Systems at SRI International Computer Science Laboratory. Edinburgh's DReaM group Glasgow Parallel Haskell Parallel and Distributed Functional Languages( PDF )
Updated: Dec 2001