> Details

Fleuriot, Jacques [Editor]; Höfner, Peter [Editor]; McIver, Annabelle [Editor]; Smaill, Alan [Editor] ; Workshop on Automated Theory eXploration 2012 Manchester, WING 4. 2012 Manchester

ATx'12/WInG'12

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: ATx'12/WInG'12 : joint proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
  • Contributor: Fleuriot, Jacques [HerausgeberIn]; Höfner, Peter [HerausgeberIn]; McIver, Annabelle [HerausgeberIn]; Smaill, Alan [HerausgeberIn]
  • Event: WING
  • imprint: [Manchester]: EasyChair, July 28, 2013
  • Published in: EPiC series in computing ; 17
  • Extent: 1 Online-Ressource; Illustrationen
  • Language: English
  • Keywords: Konferenzschrift
  • Origination:
  • Footnote: "This volume contains the proceedings of the Workshop on Automated Theory Exploration (ATx). The workshop is the successor and merger of the International Workshop on Automated Theory Engineering (ATE) and the Workshop on Automated Mathematical Theory Exploration (Automatheo). It also contains the proceedings of the Workshop of Invariant Generation (WInG). Both workshops were both held in Manchester, UK, on June 2012 as satellite workshops of the 6th International Joint Conference on Automated Reasoning (IJCAR)." - Vorwort
    "ATX 2012, IJCAR Workshop on Automated Theory eXploration, June 30 - July 1, Manchester, UK " - Webseite des Workshops ATx
    "4th International Workshop on Invariant Generation ... held on June 30, 2012 in Manchester, UK." - Webseite des Workshops WInG
    Literaturangaben
  • Access State: Open Access