Warning: strtotime() [function.strtotime]: It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'America/Los_Angeles' for 'PDT/-7.0/DST' instead in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 344

Warning: strtotime() [function.strtotime]: It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'America/Los_Angeles' for 'PDT/-7.0/DST' instead in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 344

Warning: header() [function.header]: It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'America/Los_Angeles' for 'PDT/-7.0/DST' instead in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 4109

Warning: Cannot modify header information - headers already sent by (output started at /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php:344) in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 4109
Inductive invariant generation via abductive inference (bibtex)
Inductive invariant generation via abductive inference (bibtex)
by Isil Dillig and Thomas Dillig and Boyang Li and Kenneth L. McMillan
Reference:
Inductive invariant generation via abductive inference (Isil Dillig and Thomas Dillig and Boyang Li and Kenneth L. McMillan), In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/oopsla/DilligDLM13,
  author    = {Isil Dillig and
               Thomas Dillig and
               Boyang Li and
               Kenneth L. McMillan},
  title     = {Inductive invariant generation via abductive inference},
  booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
               Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA}
               2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31,
               2013},
  pages     = {443--456},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2509136.2509511},
  doi       = {10.1145/2509136.2509511},
  timestamp = {Fri, 25 Oct 2013 08:46:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/DilligDLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser