Proceedings of the Summer School MOVEP'2006. Cassez, F., Jéron, T., Laroussinie, F., Raskin, J., & Ryan, M., editors LaBRI, Bordeaux, France, Bordeaux, France, 2006. 400 pages, in English
Proceedings of the Summer School MOVEP'2006 [link]Paper  bibtex   
@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}
}

Downloads: 0