- Formal Verification by Abstract Interpretation GBP 11.00
- FLOSS, COTS, and Safety: A Business Perspective GBP 11.00
- Legal Aspects of Safety Designed Software Development, Especially under European Law GBP 11.00
- A Review of Cost Functions for HEV Powertrain Control GBP 11.00
Subtotal (excluding shipping and tax) GBP 44.00