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

Aichernig, B. (Speaker)

Activity: Talk or presentationInvited talkScience to science

Description

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