1.
Formal Methods for Trustworthy Computer Systems
by Craigen, D.
ISBN: 9783540196358
List Price: $49.00
2.
Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessm...
by Craigen, D., Summerskill, K.
ISBN: 9780387196350
List Price: $49.95