Conference Detail

Dagstuhl Seminar 25172: Information Exchange in Software Verification

Events list

Place

Schloss Dagstuhl, Wadern

Type of Event

seminar

Kind of Event

worldwide event

Time

2025-04-22 - 2025-04-25

URL

Last time changed by

Fit