Session 5: Software Systems (2)
C. Michael Holloway, Chair
Ada 9X Language Precision Team
, by
David Guaspari
, Odyssey Research Associates
Introduction to Penelope and Its Applications
, by
David Guaspari
, Odyssey Research Associates