GRAIL: Graphs for Abstract Interpretation of Languages

Duration: January 2011 until January 2011