Symbolic verification of requirements in VRS system.

Oleksandr A. Letychevskyi, Thomas Weigert

Browse the full RE paper archive.