B
Brian A. Wichmann
7 works on record
Works
Pascal compiler validation
Software in safety-related systems
ADA. Lengoaia eta metodologia
ADA
ALGOL 60 compilation and assessment
Tutorial material on the real data-types in ADA
Tutorial material on the real data-types in ADA
A note on the use of variables in ALGOL 60
A note on the use of variables in ALGOL 60