Hugging Peers

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0

☆ Save
Irbis Gallegos,Omar Ochoa,Ann Q. Gates,Steve Roach,Salamah Salamah,Corina Vela
SEKE
published

Abstract

No abstract available.

Cite this paper

@article{gallegos2008,
  title = {A Property Specification Tool for Generating Formal Specifications: Prospec 2.0},
  author = {Irbis Gallegos and Omar Ochoa and Ann Q. Gates and Steve Roach and Salamah Salamah and Corina Vela},
  journal = {SEKE},
  year = {2008},
  month = {Jan},
}