Program verification
by Timothy R. Colburn, James H. Fetzer
VerificationComputer softwareGeographyStudy and teachingHistory
Writing a summary for young readers…
For young readers
Book data: Open Library
by Timothy R. Colburn, James H. Fetzer
Book data: Open Library