Electronic Design Automation Algorithms for E-Book Design by Visual Programming Language: A Verification Framework | IEEE Journals & Magazine | IEEE Xplore