VCS

MaRDI QIDQ41160swMATHFDO

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