ProMoVer
From MaRDI portal
Software:18814
No author found.
Related Items (3)
Reducing behavioural to structural properties of programs with procedures ⋮ Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
This page was built for software: ProMoVer
