| |
| 2008 | ||
|---|---|---|
| 1 | 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: 273-278 | |
| 1 | Irbis Gallegos | [1] |
| 2 | Ann Q. Gates | [1] |
| 3 | Omar Ochoa | [1] |
| 4 | Steve Roach | [1] |
| 5 | Salamah Salamah | [1] |