RCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
- Aichernig, B. (Speaker)
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science