Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558638 ◽

2010 ◽

Cited By ~ 1

Author(s):

Alain Darte

Download Full-text