Automata-Based Verification of Programs with Tree Updates

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/11691372_23 ◽

2006 ◽

pp. 350-364 ◽

Cited By ~ 7

Author(s):

Peter Habermehl ◽

Radu Iosif ◽

Tomas Vojnar

Download Full-text