|
18
|
19
|
20
4:15 p.m. - 5:45 p.m.
CS 201: Model-Driven Software Verification, DR. GERARD HOLZMANN, Jet Propulsion Laboratory
|
21
|
22
4:15 p.m. - 5:45 p.m.
CS 201: Towards Declarative and Efficient Querying on Protein, JIGNESH PATEL, University of Michigan
|
23
|
24
|
