Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रChaves, L., I. Bessa, L. Cordeiro, D. Kroening, और E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
एमएलए (9वां संस्करण) प्रशस्ति पत्रChaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.