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}}