Formal methods state of the art and future directions.
| में प्रकाशित: | ACM computing surveys. 28, 4 (1996). |
|---|---|
| मुख्य लेखक: | |
| अन्य लेखक: | |
| स्वरूप: | लेख |
| भाषा: | अंग्रेज़ी |
| विषय: |
| में प्रकाशित: | ACM computing surveys. 28, 4 (1996). |
|---|---|
| मुख्य लेखक: | |
| अन्य लेखक: | |
| स्वरूप: | लेख |
| भाषा: | अंग्रेज़ी |
| विषय: |