DOI,IST REx ID,Title of publication
10.1007/3-540-44829-2_17,4467,Software verification with BLAST