Jean-Rémy Falleri, Xavier Blanc, Reda Bendraou, Marcos Aurélio Almeida da Silva, Cédric Teyton. Incremental inconsistency detection with low memory overhead. Software: Practice and Experience, 44(5):621-641, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.