ISOLA 2014 : Construction of Abstract Domains for Heterogeneous Properties (Position Paper)

Reference

2014

detail

Construction of Abstract Domains for Heterogeneous Properties (Position Paper)

Xavier Rival, Antoine Toubhans, and Bor-Yuh Evan Chang

ISOLA 2014: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

BibTeX

@string{ISOLA = "International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)"}
@inproceedings{absdom-isola14,
  author = {Xavier Rival and Antoine Toubhans and Bor-Yuh Evan Chang},
  title = {Construction of Abstract Domains for Heterogeneous Properties (Position Paper)},
  booktitle = ISOLA,
  year = {2014},
  pages = {489-492},
  
}