Survey and Consistency Checking of Formal Requirements Animations.

Christophe Ponsard, Jean-Christophe Deprez

Browse the full RE paper archive.