Cita APA (7a ed.)

Asteasuain, F. (2023). Addressing the state explosion problem for big data systems formal verification.

Cita Chicago Style (17a ed.)

Asteasuain, Fernando. Addressing the State Explosion Problem for Big Data Systems Formal Verification. 2023.

Cita MLA (8a ed.)

Asteasuain, Fernando. Addressing the State Explosion Problem for Big Data Systems Formal Verification. 2023.