DIUM/CCTC

Profile

Interest Areas

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

Projects

r6 - 17 Mar 2004 - 10:06:02 - JoseNunoOliveira
This site is powered by the TWiki collaboration platformCopyright © 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 RSSATOM