@Book{ BaFaSe2000.1,
editor = {Bahsoun, Jean-Paul and Farès, Pascal and Servières, Corinne},
title = "{Multilevel proof system for concurrent object-oriented systems}",
year = {2000},
month = {décembre},
publisher = {HERMES Science publications},
address = {France},
keywords = {verification, concurrency},
note = { hermès},
abstract = {Il s'agit d'une logique temporelle linéaire avec un système de preuve concernant les objets concurrents }
}