Incer, I., Badithela, A., Graebener, J., Mallozzi, P., Pandey, A., Yu, S., . . . Seshia, S. A. (2023). Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.
Citazione stile Chigago Style (17a edizione)Incer, Inigo, et al. Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. 2023.
Citatione MLA (9a ed.)Incer, Inigo, et al. Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.