Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings - International Static Analysis Symposium 2000 : Santa Barbara, Kalifornie); Palsberg, Jens, 1964- (Berlin : Springer, 2000)
Keywords: výpočetní technika; computer science; monografie; monographs