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

  • Julia Lawall (Lecturer)

Activity: Talk or presentation types › Lecture and oral contribution

Period27 Jan 2009
Event titleApproches formelles dans l'assistance au developpement de logiciels
Event typeConference
Conference number9
LocationToulouse, FranceShow on map