“...International Static Analysis Symposium Madrid, Španělsko)...”