@BOOK{cassez-movep-06,
  ADDRESS = {Bordeaux, France},
  CLASS = {ed-book},
  EDITOR = {Franck Cassez and J\'eron, Therry and Laroussinie,
                  Fran\c{c}ois and Raskin, {Jean-Fran�ois} and Ryan,
                  Mark},
  LEX = {D},
  CATEGORY = {misc},
  KEYWORDS = {Informatique, v{\'e}rification, sp{\'e}cification},
  MONTH = DEC,
  NOTE = {400 pages, in English},
  NUMIRCYN = {B},
  PUBLISHER = {LaBRI, Bordeaux, France},
  TITLE = {{Proceedings of the Summer School MOVEP'2006}},
  URL = {http://www.cs.bham.ac.uk/~mdr/movep},
  YEAR = {2006}
}

{"_id":"mypa9aRxbjk6sS6rx","bibbaseid":"cassez-jron-laroussinie-raskin-ryan-proceedingsofthesummerschoolmovep2006-2006","downloads":0,"creationDate":"2015-12-22T04:31:53.157Z","title":"Proceedings of the Summer School MOVEP'2006","author_short":null,"year":2006,"bibtype":"book","biburl":"http://science.mq.edu.au/~fcassez/bib/mabib.bib","bibdata":{"bibtype":"book","type":"book","address":"Bordeaux, France","class":"ed-book","editor":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"propositions":[],"lastnames":["Jéron"],"firstnames":["Therry"],"suffixes":[]},{"propositions":[],"lastnames":["Laroussinie"],"firstnames":["François"],"suffixes":[]},{"propositions":[],"lastnames":["Raskin"],"firstnames":["Jean-Fran�ois"],"suffixes":[]},{"propositions":[],"lastnames":["Ryan"],"firstnames":["Mark"],"suffixes":[]}],"lex":"D","category":"misc","keywords":"Informatique, vérification, spécification","month":"December","note":"400 pages, in English","numircyn":"B","publisher":"LaBRI, Bordeaux, France","title":"Proceedings of the Summer School MOVEP'2006","url":"http://www.cs.bham.ac.uk/~mdr/movep","year":"2006","bibtex":"@BOOK{cassez-movep-06,\n ADDRESS = {Bordeaux, France},\n CLASS = {ed-book},\n EDITOR = {Franck Cassez and J\\'eron, Therry and Laroussinie,\n Fran\\c{c}ois and Raskin, {Jean-Fran�ois} and Ryan,\n Mark},\n LEX = {D},\n CATEGORY = {misc},\n KEYWORDS = {Informatique, v{\\'e}rification, sp{\\'e}cification},\n MONTH = DEC,\n NOTE = {400 pages, in English},\n NUMIRCYN = {B},\n PUBLISHER = {LaBRI, Bordeaux, France},\n TITLE = {{Proceedings of the Summer School MOVEP'2006}},\n URL = {http://www.cs.bham.ac.uk/~mdr/movep},\n YEAR = {2006}\n}\n\n","editor_short":["Cassez, F.","Jéron, T.","Laroussinie, F.","Raskin, J.","Ryan, M."],"key":"cassez-movep-06","id":"cassez-movep-06","bibbaseid":"cassez-jron-laroussinie-raskin-ryan-proceedingsofthesummerschoolmovep2006-2006","role":"editor","urls":{"Paper":"http://www.cs.bham.ac.uk/~mdr/movep"},"keyword":["Informatique","vérification","spécification"],"metadata":{"authorlinks":{}},"html":""},"search_terms":["proceedings","summer","school","movep","2006"],"keywords":["informatique","vérification","spécification"],"authorIDs":[],"dataSources":["yYF8uwWqay28JyxZC"]}