AVIACC

Analysis and Verification of Critical Concurrent Programs
Research » Aviacc » WebHome » News
  • The first project meeting took place on December 18 2012, at FCUP.

r1 - 10 Jan 2013 - 14:59:52 - JorgeSousaPinto
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM