A Generic Approach to the Formal Specification of Requirements.

Christian Peper, Reinhard Gotzhein, Martin Kronenburg

Browse the full ICFEM paper archive.