EPIC Workshop: PI and formal methods/security/safety (live Internet broadcast to Denmark and France)

Activity: Talk or presentation › Invited talk › Science to science

Description

Talk: Process Improvement through Formal Methods
Period9 Mar 1998
Event titleEPIC Workshop: PI and formal methods/security/safety (live Internet broadcast to Denmark and France)
Event typeWorkshop