bibtex

@inproceedings{OBP7,
    title = { Synthesizing Invariants by Solving Solvable Loops },
    author = {Oliveira, Steven de and Bensalem, Saddek and Prevosto, Virgile},
    year = {2017},
    booktitle = {Automated Technology for Verification and Analysis - 15th International Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
    pages = {327--343},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {10482},
    team = {RSD},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4092190