Asteasuain, F. (2023). Addressing the state explosion problem for big data systems formal verification. Web
Citación estilo ChicagoAsteasuain, Fernando. Addressing the State Explosion Problem for Big Data Systems Formal Verification. 2023.
Cita MLAAsteasuain, Fernando. Addressing the State Explosion Problem for Big Data Systems Formal Verification. 2023.
Precaución: Estas citas no son 100% exactas.