Tenth and final Meeting
Parosh Abdulla (Uppsala)
Title: Regular model-checking (
Slides
)