Automated Analysis and Verification Research Group - VeriFIT

https://verifit.webnode.cz/

Results with Impact on Practice

2005

Automata-based Verification of Programs with Tree Updates, research report, 2005
Authors: HABERMEHL, P., RADU, I., VOJNAR, T.