Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Macro facilities in the Ada environment
ACM SIGPLAN Notices
Steelman and the verifiability of (preliminary) ADA
ACM SIGPLAN Notices
Hi-index | 0.01 |