PROSYD Workshop, ETH Zürich

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

Description

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