RISC Forum
Wolfgang Schreiner: Verifying Algorithms via Checking Finite Instances
| When |
Dec 05, 2016
from 01:30 PM to 02:00 PM |
|---|---|
| Where | Seminar room castle |
| Add event to calendar |
vCal
iCal
|