"IntensiVE, a toolsuite for documenting and checking structural source-code ..."

Kim Mens, Andy Kellens (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics