ATx'12/WInG'12: Author Index

Author	Papers
C
Claessen, Koen	HipSpec : Automating Inductive Proofs of Program Properties
Constable, Robert	Proof Assistants and the Dynamic Nature of Formal Theories
J
Johansson, Moa	HipSpec : Automating Inductive Proofs of Program Properties
K
Kissinger, Aleks	Synthesising Graphical Theories
M
Miné, Antoine	Abstract Domains for Bit-Level Machine Integer and Floating-point Operations
N
Neumann, René	A Framework for Verified Depth-First Algorithms
Nori, Aditya	Specification Inference and Invariant Generation: A Machine Learning Perspective
R
Rosén, Dan	HipSpec : Automating Inductive Proofs of Program Properties
S
Smaill, Alan	Theory Exploration: a role for Model Theory?
Smallbone, Nicholas	HipSpec : Automating Inductive Proofs of Program Properties