Timothy Roscoe gave a talk at DARPA ISAT meeting

Timothy Roscoe gave a talk entitled "Writing down the hardware/software interface" at a Defense Advanced Research Projects Agency (DARPA) Information Science and Technology (ISAT) Meeting at MIT.