Automata-based verification of programs with tree updates
Peter Habermehl, Radu Iosif, Tomáš VojnarVolume:
47
Language:
english
Pages:
31
DOI:
10.1007/s00236-009-0108-5
Date:
February, 2010
File:
PDF, 933 KB
english, 2010