Leveraging applications of formal methods, verification and validation: Technologies for mastering change

Tiziana Margaria, Bernhard Steffen

Research output: Contribution to journalEditorial

Cite this