@inproceedings{elhabib:inria-00099497, TITLE = {{The QSL platform at LORIA}}, AUTHOR = {El Habib, Mohamed and Kirchner, Claude and Kirchner, H{\'e}l{\`e}ne and Marion, Jean-Yves and Merz, Stephan}, URL = {https://inria.hal.science/inria-00099497}, NOTE = {Colloque sans acte {\`a} diffusion restreinte. internationale.}, BOOKTITLE = {{First QPQ Workshop on Deductive Software Components}}, ADDRESS = {Miami, Floride}, HAL_LOCAL_REFERENCE = {A03-R-539 || el\_habib03a}, PAGES = {3 p}, YEAR = {2003}, KEYWORDS = {plateforme ; platform ; qsl}, PDF = {https://inria.hal.science/inria-00099497/file/A03-R-539.pdf}, HAL_ID = {inria-00099497}, HAL_VERSION = {v1}, }