Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रKroening, D., M. Lewis, G. Weissenbacher, और N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
एमएलए (9वां संस्करण) प्रशस्ति पत्रKroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.