RISC Forum
David Cerna: Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors; Wolfgang Windsteiger: The RTMO Project at RISC Software
| When |
Dec 07, 2015 01:30 PM
to
Dec 24, 2015 02:05 PM |
|---|---|
| Where | Seminar room pond |
| Add event to calendar |
vCal
iCal
|