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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{ATx'12/WInG'12:Proof_Assistants_and_Dynamic,
  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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {1--15},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/M4m},
  doi       = {10.29007/d2df}}

@inproceedings{ATx'12/WInG'12:HipSpec_Automating_Inductive,
  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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {16--25},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Kb7},
  doi       = {10.29007/3qwr}}

@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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {26--35},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/BCp2},
  doi       = {10.29007/5dkd}}

@inproceedings{ATx'12/WInG'12:Framework_for_Verified_Depth_First,
  author    = {Ren\textbackslash{}'e 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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {36--45},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/TLd9},
  doi       = {10.29007/8hkx}}

@inproceedings{ATx'12/WInG'12:Theory_Exploration_role_for,
  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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {46--53},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/BHf8},
  doi       = {10.29007/zp5m}}

@inproceedings{ATx'12/WInG'12:Specification_Inference_and_Invariant,
  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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {54},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5c},
  doi       = {10.29007/tx1s}}

@inproceedings{ATx'12/WInG'12:Abstract_Domains_for_Bit_Level,
  author    = {Antoine Min\textbackslash{}'e},
  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\textbackslash{}"ofner and Annabelle McIver and Alan Smaill},
  series    = {EPiC Series in Computing},
  volume    = {17},
  pages     = {55--70},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/bx},
  doi       = {10.29007/b63g}}