TVAL+ : TVLA and Value Analyses Together. - Pietro Ferrara 001; Raphael Fuchs; Uri Juhasz (SEFM, 2012)

Incremental Verification. - Uri Juhasz (2016)