Your basket

1. Formal Verification by Abstract Interpretation GBP 11.00
2. FLOSS, COTS, and Safety: A Business Perspective GBP 11.00

Subtotal (excluding shipping and tax) GBP 22.00

Proceed to checkout Continue shopping