Extending the RASSP model for Verification.

Martin Zambaldi, Wolfgang Ecker

Browse the full FDL paper archive.