GRAIL: Graphs for Abstract Interpretation of Languages

Publications: in EPrints
Further information: http://fmt.ewi.utwente.nl/grail