CitedEvidenceResearch APIs

Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

article · 2003

Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems

1 citationsDOI: https://doi.org/10.1023/b:casa.0000020220.16822.36
Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems