[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Anthony Hunter & Bashar Nuseibeh
- Analysing Inconsistent Specifications
- =FORMAL REQUIREMENTS LOGIC
- REQUIREMENTS LOGIC must not include ex falso quodlibet and should track all inferences from stated requirements to conclusions and so aid diagnosis of inconsistencies
- QC::="Quasi Classical Logic"
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]