Programme AVOCS 2010
September 21-23, 2010
The workshop starts on 21. September at noon and it will end on 23. September after lunch. It is co-located with the Rodin Developer and User Workshop (20.-22. September).
Sponsor
AVOCS'10
10th International Workshop on Automated Verification of Critical Systems