Your basket

1. Formal Verification of Hand-Coded Software Some Industrial Experiments and Lessons Learnt GBP 11.00
2. OTAWA, a Framework for Experimenting WCET Computations GBP 11.00

Subtotal (excluding shipping and tax) GBP 22.00

Proceed to checkout Continue shopping