James A. Rowson, Alberto L. Sangiovanni-Vincentelli
Interface-Based Design
DAC, 1997.
@inproceedings{DAC-1997-RowsonS, author = "James A. Rowson and Alberto L. Sangiovanni-Vincentelli", booktitle = "{Proceedings of the 34th Design Automation Conference}", doi = "10.1145/266021.266060", isbn = "0-89791-920-3", pages = "178--183", publisher = "{ACM Press}", title = "{Interface-Based Design}", year = 1997, }