EASI2L: A Specification Format for Automated Block Interface Generation and Verification

Author(s):
Chintan Kaur, Ravi Narayanaswami, and Richard Ho
Location:
United States
Year:
2016
Type:
Paper
Format:
pdf