Actes de l'école d'été MOVEP'98. Cassez, F., Jard, C., Roux, O., & Rozoy, B., editors Ecole Centrale de Nantes, 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{\'e}rification, sp{\'e}cification},
  MONTH = JUN,
  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