Computer aided verification : 9th International Conference, CAV '97 : Haifa, Israel, June 22-25, 1997 : proceedings - International Conference on Computer-Aided Verification 1997 : Haifa, Izrael); Grumberg, Orna, 1952- (Berlin : Springer-Verlag, 1997)
Bibliografie na s. 480.
Keywords: výpočetní technika; computer science; sborníky konferencí; proceedings of conferences