PROSYD Workshop, ETH Zürich

Bloem, R. (Speaker)

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

Description

Talk: Property-Based Software Verification
Period12 Apr 2004
Held atPROSYD Workshop, ETH Zürich
Event typeWorkshop