Actes de l'́ecole d'́et́e MOVEP'98. Cassez, F., Jard, C., Roux, O., & Rozoy, B., editors Ecole Centrale de Nantes, June, 1998. 280 pages, in french
bibtex   
@book{ cassez-movep-98,
  class = {ed-book},
  editor = {Franck Cassez and Jard, Claude and Roux, Olivier and Rozoy, Brigitte},
  keywords = {Informatique, vérification, spécification},
  month = {June},
  lex = {D},
  note = {280 pages, in french},
  category = {misc},
  numircyn = {B},
  publisher = {Ecole Centrale de Nantes},
  title = {{Actes de l'́ecole d'́et́e MOVEP'98}},
  year = {1998}
}
Downloads: 0