Systems and software verification Model-Checking Techniques and Tools
Berard, B.
Systems and software verification Model-Checking Techniques and Tools by B Berard, et al - Berlin Springer 2001 - xii, 190p.
9783540415237
005.3 / P015;1
Systems and software verification Model-Checking Techniques and Tools by B Berard, et al - Berlin Springer 2001 - xii, 190p.
9783540415237
005.3 / P015;1