Result certification for relational program analysis (2007)

Cached

Download Links

by Frédéric Besson , Thomas Jensen , David Pichardie , Tiphaine Turpin
Citations:8 - 5 self