Selected extended papers of NFM 2016: Preface

DOI10.1007/S10817-017-9425-5MaRDI QIDQ1694575zbMATH OpenOpenAlexFDO

Authors

Publication date 2 February 2018

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-017-9425-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Selected extended papers of NFM 2017: Preface
• Editorial
• Editorial
• Editorial
• Formal methods: practical applications and foundations. Editorial

Cited in

(3)

• Preface selected revised papers from the LION 14 conference
• Selected extended papers of NFM 2017: Preface
• Preface: Selected extended papers of CADE 2015

This page was built for publication: Selected extended papers of NFM 2016: Preface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1694575)