A Framework for Requirements Analysis Using Automated Reasoning

David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris

Browse the full CaiSE paper archive.