Cita APA (7a ed.)

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S. Elaborating requirements using model checking and inductive learning.

Cita Chicago Style (17a ed.)

Alrajeh, D., J. Kramer, A. Russo, y S. Uchitel. Elaborating Requirements Using Model Checking and Inductive Learning.

Cita MLA (8a ed.)

Alrajeh, D., et al. Elaborating Requirements Using Model Checking and Inductive Learning.