Conference Detail

Software Verification: Infinite-State Model Checking and Static Program Analysis

Events list

Place

International Conference and Research Center for Computer Science, Schloss Dagstuhl, Wadern

Type of Event

seminar

Kind of Event

worldwide event

Time

2006-02-19 - 2006-02-24

Last time changed by

Fit