Cita APA (7a ed.)

Inverardi, P., Wolf, A., & Yankelevich, D. Static checking of system behaviors using derived component assumptions.

Cita Chicago Style (17a ed.)

Inverardi, P., A.L Wolf, y D. Yankelevich. Static Checking of System Behaviors Using Derived Component Assumptions.

Cita MLA (8a ed.)

Inverardi, P., et al. Static Checking of System Behaviors Using Derived Component Assumptions.