EASI2L: A Specification Format for Automated Block Interface Generation and Verification Author(s): Chintan Kaur, Ravi Narayanaswami, and Richard Ho Download
