Parametric Systems: Verification and Synthesis

DOI10.3233/FI-2020-1918zbMath1471.68155arXiv1910.05208OpenAlexW3014470253MaRDI QIDQ5134273

Viorica Sofronie-Stokkermans

Publication date: 16 November 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.05208

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Parametric Systems: Verification and Synthesis