Conference Detail

TYPES Letní škola 2005: Dokázování programů a formalizace matematiky

Place

Gothenburg

Type of Event

workshop

Kind of Event

worldwide event

Time

2005-08-15 - 2005-08-26

Last time changed by