Degiovanni, R. G., Ponzio, P. D., Aguirre, N. M., & Frias, M. F. (2018). Improving lazy abstraction for SCR specifications through constraint relaxation. Web
Citación estilo ChicagoDegiovanni, Renzo Gastón, Pablo Daniel Ponzio, Nazareno Matias Aguirre, and Marcelo Fabian Frias. Improving Lazy Abstraction for SCR Specifications Through Constraint Relaxation. 2018.
Cita MLADegiovanni, Renzo Gastón, Pablo Daniel Ponzio, Nazareno Matias Aguirre, and Marcelo Fabian Frias. Improving Lazy Abstraction for SCR Specifications Through Constraint Relaxation. 2018.
Precaución: Estas citas no son 100% exactas.