Conference paper

ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007, pp. 181-182. ISBN 978-3-540-75866-2.
Publication language:english
Original title:Pattern-Based Verification for Trees
Title (cs):Pattern-Based Verification for Trees
Proceedings:Computer Aided Systems Theory - EUROCAST 2007
Conference:11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
Place:Las Palmas de Grand Canaria, ES
Publisher:The Universidad de Las Palmas de Gran Canaria
Pattern-Based Verification, Trees, Formal verification
The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.
   author = {Milan {\v{C}}e{\v{s}}ka and Pavel Erlebach and
	Tom{\'{a}}{\v{s}} Vojnar},
   title = {Pattern-Based Verification for Trees},
   pages = {181--182},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2007},
   year = {2007},
   location = {Las Palmas de Grand Canaria, ES},
   publisher = {The Universidad de Las Palmas de Gran Canaria},
   ISBN = {978-3-540-75866-2},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https