Correctness and equivalence of straight line microprograms.

Autor: Ramamoorthy, C. V., Shankar, K. S.
Zdroj: Conference Record of the 6th Annual Workshop: Microprogramming; 9/24/1973, p1-12, 12p
Databáze: Complementary Index
Externí odkaz: