VCS

swMATH29446MaRDI QIDQ41160FDOQ41160

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-02444-8_39

Described by source

• VCS: a verifier for component-based systems

This page was built for software: VCS