- This event has passed.
LAA Meets
5/10/22 @ 11:30 am - 1:00 pm
Ricky Butler: 35 years of Formal Methods Research at NASA Langley
(Both in-person @LaRC & via Zoom)
Board Meeting follows @1:10pm
Ricky Butler: 35 years of Formal Methods Research at NASA Langley
(Both in-person @LaRC & via Zoom)
Board Meeting follows @1:10pm