Scalable automated methods for dynamic program analysis
By
BibTeX
@inproceedings{phd, author = "Sen, Koushik", title = "Scalable Automated Methods for Dynamic Program Analysis", booktitle = "PhD Dissertation", keywords = "formal methods, software engineering", year = "2006", }