International Lisp Conference
International Lisp Conference (Thursday)
Thu 8:00-4:30 pm - Bonanza A
- International Lisp Conference
International Lisp Conference (Tuesday)
Tue 8:00-4:30 pm - Bonanza A & B
- International Lisp ConferenceProgram ChairAntonio Leitao, Instituto Superior Técnico, Portugal
International Lisp Conference (Wednesday)
Wed 8:00-4:30 pm - Bonanza A
- International Lisp Conference
Gerard Holzmann discusses Spin, a design analyzer tool, and Scrub, a code review tool, used by Jet Propulsion Laboratory to analyze and fix the software used for critical solar system exploration missions.
