VeriDACS WOrkshop, Festo

Bloem, R. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: VeriDACS, a Prototype for Formal Verification of DACS Programs
Period27 May 2004
Held atVeriDACS WOrkshop, Festo
Event typeWorkshop