ATx'12/WInG'12: BibTeX Entries

Volume

@proceedings{ATx'12/WInG'12,
  title     = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2013}}

Papers

@inproceedings{ATx'12/WInG'12:Proof_Assistants_Dynamic_Nature,
  author    = {Robert L. Constable},
  title     = {Proof Assistants and the Dynamic Nature of Formal Theories},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/M4m},
  doi       = {10.29007/d2df},
  pages     = {1-15},
  year      = {2013}}


@inproceedings{ATx'12/WInG'12:HipSpec_Automating_Inductive_Proofs,
  author    = {Koen Claessen and Moa Johansson and Dan Rosen and Nick Smallbone},
  title     = {HipSpec : Automating Inductive Proofs of Program Properties},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Kb7},
  doi       = {10.29007/3qwr},
  pages     = {16-25},
  year      = {2013}}


@inproceedings{ATx'12/WInG'12:Synthesising_Graphical_Theories,
  author    = {Aleks Kissinger},
  title     = {Synthesising Graphical Theories},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/BCp2},
  doi       = {10.29007/5dkd},
  pages     = {26-35},
  year      = {2013}}


@inproceedings{ATx'12/WInG'12:Framework_Verified_Depth_First,
  author    = {René Neumann},
  title     = {A Framework for Verified Depth-First Algorithms},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/TLd9},
  doi       = {10.29007/8hkx},
  pages     = {36-45},
  year      = {2013}}


@inproceedings{ATx'12/WInG'12:Theory_Exploration_role_Model,
  author    = {Alan Smaill},
  title     = {Theory Exploration: a role for Model Theory?},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/BHf8},
  doi       = {10.29007/zp5m},
  pages     = {46-53},
  year      = {2013}}


@inproceedings{ATx'12/WInG'12:Specification_Inference_Invariant_Generation,
  author    = {Aditya Nori},
  title     = {Specification Inference and Invariant Generation: A Machine Learning Perspective},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/5c},
  doi       = {10.29007/tx1s},
  pages     = {54},
  year      = {2013}}


@inproceedings{ATx'12/WInG'12:Abstract_Domains_Bit_Level,
  author    = {Antoine Miné},
  title     = {Abstract Domains for Bit-Level Machine Integer and Floating-point Operations},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation},
  editor    = {Jacques Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/bx},
  doi       = {10.29007/b63g},
  pages     = {55-70},
  year      = {2013}}