KindSoftware
  • about us
  • software
  • documents
  • research
  • visitors
  • cdes
  • blog
Research
  • Overview
  • Enterprise Ireland
  • EU COST Action
  • EU Framework
  • FME
  • IRCSET
    • EBON
    • Proof-Carrying Code for Extended Static Checking
  • LGSSE
  • SFI
  • Lero CSET
  • UCD

Irish Research Council for Science, Engineering and Technology

Copyright © 2007 KindSoftware. :: Page Last Updated: Friday, 27-Jun-2008 16:51:46 IST
Site Design and Photos by CAW :: XHTML, CSS.