Bjørner, D. ;. H. (2017). Logics of Specification Languages. H: Springer.
Chicago Style CitationBjørner, D. ; Henson. Logics of Specification Languages. H: Springer, 2017.
MLA引文Bjørner, D. ; Henson. Logics of Specification Languages. H: Springer, 2017.
警告:這些引文格式不一定是100%准確.