A Case Study in Formal Analysis of System Requirements.

Dimitri Belli, Franco Mazzanti

Browse the full SEFM paper archive.