AVIACC

Analysis and Verification of Critical Concurrent Programs

AVIACC Second Meeting and Workshop

Date

September 16, 2013, 10:00

Place

DCC-FCUP, videoconference room

Schedule

10h00 - 12h30: Scientific talks and discussion

14h30 - 15h30: project planning meeting

r2 - 19 May 2015 - 13:19:43 - JorgeSousaPinto
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM