Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
Pierre Wolper (ed.)
Bok Engelsk 1995 CAV '95
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | X, 450 s. : ill.
|
| Emner | |
| ISBN | 0387600450. - 3540600450
|
