@inproceedings{nhitran:hal-00690923,
  TITLE = {{Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations}},
  AUTHOR = {Nhi Tran, Hanh and Percebois, Christian},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00690923},
  BOOKTITLE = {{ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT)}},
  ADDRESS = {Montreal, Canada},
  PAGES = {xx},
  YEAR = {2012},
  MONTH = Apr,
  KEYWORDS = {Isabelle/HOL. ; theorem proving ; propertypreserving graph grammar ; Isabelle/HOL ; verification of graph transformations},
  PDF = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00690923/file/PID2249161.pdf},
  HAL_ID = {hal-00690923},
  HAL_VERSION = {v1},
}