Berard, B, etal
Systems and software verification model-checking techniques and tools - Berlin Springer 2001 - 190
9783540415237
681.9 BER
Systems and software verification model-checking techniques and tools - Berlin Springer 2001 - 190
9783540415237
681.9 BER