Miquel Bertran Albert Duran Miquel Porta Francesc-Xavier Babot August Climent Miquel Nicolau Integrating Formal Verification of Parallelization in the PADD/RALE Environment. 305-314 2002 conf/jisbd/2002 JISBD db/conf/jisbd/jisbd2002.html#BertranDPBCN02