Detail publikace

Pattern-Based Verification for Trees

Originální název

Pattern-Based Verification for Trees

Anglický název

Pattern-Based Verification for Trees

Jazyk

en

Originální abstrakt

The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.

Anglický abstrakt

The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.

BibTex


@inproceedings{BUT28583,
  author="Pavel {Erlebach} and Milan {Češka} and Tomáš {Vojnar}",
  title="Pattern-Based Verification for Trees",
  annote="The paper presents an extension of pattern-based verification of programs with
dynamic data structues from linear to tree structures.",
  address="The Universidad de Las Palmas de Gran Canaria",
  booktitle="Computer Aided Systems Theory - EUROCAST 2007",
  chapter="28583",
  howpublished="print",
  institution="The Universidad de Las Palmas de Gran Canaria",
  year="2007",
  month="february",
  pages="181--182",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  type="conference paper"
}