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
Article detail, metadata, authors, and available full-text links.
Loading paper...