Verifying Programs by Bounded Tree-Width Behavior Graphs.

Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco

Browse the full EUMAS paper archive.