Verification of Tree Updates for Optimization.

Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas

Browse the full CAV paper archive.