Cita APA

Alpuente Frasnedo, M., Ballis, D., & Romero, D. O. (2014). A rewriting logic approach to the formal specification and verification of web applications.

Citación estilo Chicago

Alpuente Frasnedo, María|||0000-0002-9268-1178, Demis Ballis, y Daniel Omar Romero. A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications. 2014.

Cita MLA

Alpuente Frasnedo, María|||0000-0002-9268-1178, Demis Ballis, y Daniel Omar Romero. A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications. 2014.