Scalable Program Analysis Through Proof Caching (Doctoral Symposium) (bibtex)
by Andrea Aquino
Reference:
Scalable Program Analysis Through Proof Caching (Doctoral Symposium) Andrea AquinoIn ISSTA '15: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2015
Bibtex Entry:
@string{star="STAR"}
@string{acm="ACM"}
@inproceedings{Aquino:Symposium:ISSTA:2015,
 groups = STAR,
 author = {Aquino, Andrea},
 title = {Scalable Program Analysis Through Proof Caching (Doctoral Symposium)},
 booktitle = {Proceedings of the International Symposium on Software Testing and Analysis},
 series = {ISSTA~'15},
 year = {2015},
 pages = {432--435},
 publisher = {ACM},
 keywords = {Caching, constraint solving, satisfiability},
}
Powered by bibtexbrowser