[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Jeanette M Wing<firstname.lastname@example.org> & Mandana Vaziri-Farahani
- Model checking software systems: A Case study
- =CASE-STUDY SQA FORMAL CASE-STUDY LOGIC
- It is feasible to check for some properties of non-finite state systems.
- When does ( p(a) imply (for all x(p(x))))?
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]