Generic implementation via analogies in the Ada programming languages
ACM SIGAda Ada Letters
Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
Ada packages and the user's conceptual model
ACM SIGAda Ada Letters
A complete axiomatic semantics of spawning
Distributed Computing
Hi-index | 0.00 |