Reference

2014
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
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},
  
}