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 rapportForskning

  • Jean-Paul Bodeveix
  • Mamoun Filali
  • Julia Laetitia Lawall
  • Gilles Muller
OriginalsprogEngelsk
TitelApproches Formelles dans l'Assistance au D'eveloppement de Logiciels
Publikationsdato2006
Sider95-109
StatusUdgivet - 2006

ID: 1105353