Learning to verify systems
By
BibTeX
@inproceedings{AbhayPhD, author = "Vardhan, Abhay", title = "Learning To Verify Systems", booktitle = "Ph.D. Thesis, Dept. of Computer Science", keywords = "formal methods", year = "2006", }
By
@inproceedings{AbhayPhD, author = "Vardhan, Abhay", title = "Learning To Verify Systems", booktitle = "Ph.D. Thesis, Dept. of Computer Science", keywords = "formal methods", year = "2006", }