APA引文

Cimatti, A., & Sirjani, M. (2020). Software Engineering and Formal Methods. Springer International Publishing.

Trích dẫn kiểu Chicago

Cimatti, Alessandro, và Marjan Sirjani. Software Engineering and Formal Methods. Springer International Publishing, 2020.

MLA引文

Cimatti, Alessandro, và Marjan Sirjani. Software Engineering and Formal Methods. Springer International Publishing, 2020.

警告：这些引文格式不一定是100％准确.