Cita APA (7a ed.)

(2000). Static checking of system behaviors using derived component assumptions.

Cita Chicago Style (17a ed.)

Static Checking of System Behaviors Using Derived Component Assumptions. 2000.

Cita MLA (8a ed.)

Static Checking of System Behaviors Using Derived Component Assumptions. 2000.