Accession Number:

ADA070056

Title:

Formal Modeling of Virtual Machines,

Descriptive Note:

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA LOS ANGELES

Report Date:

1976-05-03

Pagination or Media Count:

12.0

Abstract:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE