- Formal and Efficient Verification Techniques for Real-Time UML Models GBP 11.00
- Vital Software: Formal Method and Coded Processor GBP 11.00
- Formal Verification of Hand-Coded Software Some Industrial Experiments and Lessons Learnt GBP 11.00
Subtotal (excluding shipping and tax) GBP 33.00