Discovery of invariants through automated theory formation

Maria Teresa Llano Rodriguez, Andrew Ireland, Alison Pease

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Original language	English
Title of host publication	EPTCS 55: Proceedings 15th International Refinement Workshop
DOIs	https://doi.org/10.4204/EPTCS.55.1
Publication status	Published - 2011
Event	15th International Refinement Workshop - Limerick, Ireland Duration: 20 Jun 2011 → …

Conference	15th International Refinement Workshop
Country/Territory	Ireland
City	Limerick
Period	20/06/11 → …

Access to Document

@inproceedings{19119b11898f4f1d8307203b2d92fb39,

title = "Discovery of invariants through automated theory formation",

author = "\{Llano Rodriguez\}, \{Maria Teresa\} and Andrew Ireland and Alison Pease",

year = "2011",

doi = "10.4204/EPTCS.55.1",

language = "English",

booktitle = "EPTCS 55: Proceedings 15th International Refinement Workshop",

note = "15th International Refinement Workshop ; Conference date: 20-06-2011",

}

TY - GEN

T1 - Discovery of invariants through automated theory formation

AU - Llano Rodriguez, Maria Teresa

AU - Ireland, Andrew

AU - Pease, Alison

PY - 2011

Y1 - 2011

UR - https://www.scopus.com/pages/publications/84889584084

U2 - 10.4204/EPTCS.55.1

DO - 10.4204/EPTCS.55.1

M3 - Conference contribution

BT - EPTCS 55: Proceedings 15th International Refinement Workshop

T2 - 15th International Refinement Workshop

Y2 - 20 June 2011

ER -