[ACM Press the 15th annual conference - St. Louis, Missouri, United States (1987..-..)] Proceedings of the 15th annual conference on Computer Science - CSC '87 - Formal verification of systolic networks using theorem proving techniques (abstract only)Yun, David Y. Y.; Yun, Y.; Zhang, Chang N. · 1987