PROSYD Workshop, ETH Zürich

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Property-Based Software Verification
Zeitraum12 Apr. 2004
EreignistitelPROSYD Workshop, ETH Zürich
VeranstaltungstypWorkshop