AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned.

Werner Damm

Browse the full FM paper archive.