Home / Authors / L. G. Marcus

Books by L. G. Marcus

All books by this author

1 books found
The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS)
The Semantics of Ada Access Types (Pointers) in the State D…
By: L. G. Marcus
View Details