Research output per year
Research output per year
Search results
-
2016
Preface
Margaria, T. & Steffen, B., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
-
2012
Preface
Gnesi, S. & Margaria, T., 29 Nov 2012, Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley and Sons, p. xvii-xviiiResearch output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
-
2009
Preface
Margaria, T. & Steffen, B., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (eds.). p. V-VI (Communications in Computer and Information Science; vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript