Tampere University of Technology

TUTCRIS Research Portal

A Chaos-Free Failures Divergences Semantics with Applications to Verification

Activity: Talk or presentationConference presentation

Details

Antti Valmari - Speaker

1999

Event (Conference)

TitleSymposium in Celebration of the work of Tony Hoare, 15th September, 1999, Oxford University Computing Laboratory, England
Period1/01/99 → …

Country of activity

Publication forum classification

ID: 12357782