Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.