Browse by author - AVOCS06 - Sixth International Workshop on Automated Verification of Critical Systems Access content directly