PROSYD Workshop, ETH Zürich

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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