Forskning ved Københavns Universitet - Københavns Universitet

Forside

Vérification automatique de propriétés d'ordonnacaurs Bossa

Publikation: Bidrag til bog/antologi/rapportBidrag 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/rapportBidrag 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

Bodeveix, Jean-Paul ; Filali, Mamoun ; Lawall, Julia Laetitia ; Muller, Gilles. / Vérification automatique de propriétés d'ordonnacaurs Bossa. Approches Formelles dans l'Assistance au D'eveloppement de Logiciels. 2006. s. 95-109

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