Formal Verification of Web Applications Award or Honor

•  
• Overview
•  

Overview

receipts

• Formal Verification of Web Applications ( Monroy-Borja, Raúl - 2013)