TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A Chaos-Free Failures Divergences Semantics with Applications to Verification

Aktiviteetti: Konferenssiesitelmä

Yksityiskohdat

Antti Valmari - Speaker

1999

Tapahtuma (null)

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

Country of activity

Publication forum classification

ID: 12357782