Normal view
MARC view
Le Charlier, Baudouin, 1950- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Static Analysis Symposium (1st : 1994 : Namur, Belgium) 40820, Static analysis :, ©1994.