Vérification automatique de propriétés d'ordonnacaurs Bossa
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport
Standard
Vérification automatique de propriétés d'ordonnacaurs Bossa. / Bodeveix, Jean-Paul; Filali, Mamoun; Lawall, Julia Laetitia; Muller, Gilles.
Approches Formelles dans l'Assistance au D'eveloppement de Logiciels. 2006. s. 95-109.Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport
Harvard
Bodeveix, J-P, Filali, M, Lawall, JL & Muller, G 2006, Vérification automatique de propriétés d'ordonnacaurs Bossa. i Approches Formelles dans l'Assistance au D'eveloppement de Logiciels. s. 95-109.
APA
Bodeveix, J-P., Filali, M., Lawall, J. L., & Muller, G. (2006). Vérification automatique de propriétés d'ordonnacaurs Bossa. I Approches Formelles dans l'Assistance au D'eveloppement de Logiciels (s. 95-109)
Vancouver
Bodeveix J-P, Filali M, Lawall JL, Muller G. Vérification automatique de propriétés d'ordonnacaurs Bossa. I Approches Formelles dans l'Assistance au D'eveloppement de Logiciels. 2006. s. 95-109
Author
Bibtex
@inbook{845709d06c3711dcbee902004c4f4f50,
title = "V{\'e}rification automatique de propri{\'e}t{\'e}s d'ordonnacaurs Bossa",
author = "Jean-Paul Bodeveix and Mamoun Filali and Lawall, {Julia Laetitia} and Gilles Muller",
year = "2006",
language = "English",
pages = "95--109",
booktitle = "Approches Formelles dans l'Assistance au D'eveloppement de Logiciels",
}
RIS
TY - GEN
T1 - Vérification automatique de propriétés d'ordonnacaurs Bossa
AU - Bodeveix, Jean-Paul
AU - Filali, Mamoun
AU - Lawall, Julia Laetitia
AU - Muller, Gilles
PY - 2006
Y1 - 2006
M3 - Report chapter
SP - 95
EP - 109
BT - Approches Formelles dans l'Assistance au D'eveloppement de Logiciels
ER -
ID: 1105353
