The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review



Original languageEnglish
JournalJournal of Logical and Algebraic Methods in Programming
Issue5, Part 2
Pages (from-to)985-998
Number of pages9
Publication statusPublished - Aug 2016

Bibliographical note

Articles dedicated to Prof. J. N. Oliveira on the occasion of his 60th birthday. This is an author-produced post-print version of the published paper. Further copying may not be permitted; contact the publisher for details.
This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 93732187