IEEE Transactions on Software Engineering
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Axiomatic proof rules for a machine-specific microprogramming language
ACM SIGMICRO Newsletter
Firmware testing and test data selection
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Hi-index | 0.00 |