Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata. Formal verification based on assume and guarantee approach - a case study (short paper). In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 77-80, ACM, 2000. [doi]
Abstract is missing.