DIUM/CCTC

Navigation

DI
EL
Education
Events
JoseLuisSilva
Personal
Research

Main » TWikiUsers » JoseNunoOliveira

Profile

Name: José Nuno Oliveira
Email: jno@di.uminho.pt
WWW (non-wiki): http://www.di.uminho.pt/~jno

Interest Areas

Formal Methods and Algebra of Programming
Reverse Specification and Program Understanding
Functional Programming & Rapid Prototyping

Projects

PURe
PUReCAMILA project initiative - just starting. Useful links: see /usr/lib/hugs/lib/exts/FiniteMap.lhs and Irish School of VDM - Software
IKF

r6 - 17 Mar 2004 - 10:06:02 - JoseNunoOliveira

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

Syndicate this site RSS ATOM