This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
vv-lab:people [2015/02/18 16:04]
egm [Alumni]
vv-lab:people [2015/09/01 09:51]
egm [M.S. Students]
Line 10: Line 10:
 * Peter Anderson, ''​Graduate Permission in JPF.''​ * Peter Anderson, ''​Graduate Permission in JPF.''​
 * Radha Nakade, ''​Model checking with Computation Graphs.''​ * Radha Nakade, ''​Model checking with Computation Graphs.''​
 +* Jane Ostegar
 ===Undergraduate Students=== ===Undergraduate Students===
vv-lab/people.txt ยท Last modified: 2015/09/01 09:51 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0