Discovery of invariants through automated theory formation

Maria Teresa Llano Rodriguez, Andrew Ireland, Alison Pease

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)
Original languageEnglish
Title of host publicationEPTCS 55: Proceedings 15th International Refinement Workshop
DOIs
Publication statusPublished - 2011
Event15th International Refinement Workshop - Limerick, Ireland
Duration: 20 Jun 2011 → …

Conference

Conference15th International Refinement Workshop
CountryIreland
CityLimerick
Period20/06/11 → …

Cite this