Framework on Formal Methods in Conformance Testing Series Z: Programming Languages Methods for Validation and Testing
| Accuris | |
|---|---|
| Product Category | Standards and Technical Documents |
| Product Number | Z.500 |
| Product Name | Framework on Formal Methods in Conformance Testing Series Z: Programming Languages Methods for Validation and Testing |