A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

  • Julia Lawall (Foredragsholder)

Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

Periode27 jan. 2009
BegivenhedstitelApproches formelles dans l'assistance au developpement de logiciels
BegivenhedstypeKonference
Konferencenummer9
PlaceringToulouse, FrankrigVis på kort