Karen Zee
Publication Activity (10 Years)
Years Active: 2002-2009
Publications (10 Years): 0
Publications (10 Years): 0
Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)
Education History
Massachusetts Institute of Technology, Cambridge, MA, USA
Publications
- Karen Zee, Viktor Kuncak, Martin C. Rinard
- Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard
- Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
- Karen Zee, Viktor KuncakFile Refinement. Arch. Formal Proofs 2004 (2004)
- Karen Zee, Martin C. Rinard
- Karen Zee, Martin C. Rinard