Corina Vela

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE (2008)