Tampere University of Technology

TUTCRIS Research Portal

Experiences on Developing and Using a Tool Support for Formal Specification

Activity: Talk or presentationConference presentation

Details

Tommi Mikkonen - Speaker

2003

Event (Conference)

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

Country of activity

Publication forum classification

ID: 12455858