AVIACC

Analysis and Verification of Critical Concurrent Programs

Search: ^n

Research/Aviacc Web Changed Changed by
News 10 Jan 2013 - 14:59 - NEW JorgeSousaPinto
The first project meeting took place on December 18 2012, at FCUP.
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM