@inproceedings{dumas:hal-00517269,
  TITLE = {{Partial Order Application for Software Formal Verification}},
  AUTHOR = {Dumas, Xavier and Boniol, Fr{\'e}d{\'e}ric and Dhaussy, Philippe and Bonnafous, Eric},
  URL = {https://hal.science/hal-00517269},
  BOOKTITLE = {{Conf{\'e}rence Embedded Real Time Software and Systems (ERTS'10)}},
  ADDRESS = {Toulouse, France},
  PAGES = {Non renseigne},
  YEAR = {2010},
  MONTH = May,
  HAL_ID = {hal-00517269},
  HAL_VERSION = {v1},
}