TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Experiences on Developing and Using a Tool Support for Formal Specification

Aktiviteetti: Konferenssiesitelmä

Yksityiskohdat

Tommi Mikkonen - Speaker

2003

Tapahtuma (null)

Teoksen nimi8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
Ajanjakso1/01/03 → …

Country of activity

Publication forum classification

ID: 12455858