Building VCL models and automatically generating Z specifications from them
- Nuno Amálio*
- , Christian Glodt
- , Pierre Kelsen
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5
Citations
(Scopus)