Keynote Speaker, 11th Annual High Con dence Software and Systems (HCSS), Annapolis, MD, May 2011.
May 15, 2011 - Keynote Speaker, 11th Annual High Con dence Software and Systems (HCSS), Annapolis, MD, May 2011.
Keynote Speaker, 11th Annual High Con dence Software and Systems (HCSS), Annapolis, MD, May 2011.
