Cita APA

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

Citación estilo Chicago

Uchitel, Sebastian, Dalal Alrajeh, Jeff Kramer, and Alessandra Russo. Elaborating Requirements Using Model Checking and Inductive Learning. 2012.

Cita MLA

Uchitel, Sebastian, Dalal Alrajeh, Jeff Kramer, and Alessandra Russo. Elaborating Requirements Using Model Checking and Inductive Learning. 2012.