Publication Dartmouth-Hitchcock Medical Center: Spine Care Robert S. Huckman, Robert S. Huckman, Michael E. Porter, Rachel Gordon, Natalie Kindred, James Weinstein March 2009
Publication Controller Synthesis from LSC Requirements Hillel Kugler, Cory Plock, Amir Pnueli Fundamental Approaches to Software Engineering (FASE’09) | March 2009 Project