1.
Computer Aided Verification 7th International Conference, Cav '95', Liege, Belgium, July 3-5...
by Wolper, P., Goos, G., Hartm...
ISBN: 9783540600459
List Price: $89.95
2.
Protocol Specification, Testing and Verification, XIII (IFIP Transactions C: Communication S...
by Danthine, A., Leduc, G., Wo...
ISBN: 9780444816481
List Price: $139.50