Corina Vela

According to our database, Corina Vela authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.

Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008