TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

F2-3 Panel: Formal Methods in the 21st Century

Aktiviteetti: Konferenssiesitelmä

Yksityiskohdat

Reino Kurki-Suonio - Speaker

1998

Tapahtuma (null)

Teoksen nimiThe 20th International Conference on Software Engineering, ICSE98, April 19-25, 1998, Kyoto, Japan
Ajanjakso1/01/98 → …

Country of activity

Publication forum classification

ID: 12337955