Proceedings of the Summer School MOVEP'2006. Cassez, F., J́eron, T., Laroussinie, F., Raskin, J.�, & Ryan, M., editors LaBRI, Bordeaux, France, Bordeaux, France, December, 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,
                  Fraņ{c}ois and Raskin, {Jean-Fran�ois} and Ryan,
                  Mark},
  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}
}
Downloads: 0