Selected Extended Papers of ITP 2016: Preface

Jasmin Christian Blanchette, Stephan Merz*

*Corresponding author for this work

Research output: Contribution to JournalEditorialAcademicpeer-review

Original languageEnglish
Pages (from-to)169-170
Number of pages2
JournalJournal of Automated Reasoning
Volume62
Issue number2
DOIs
Publication statusPublished - Feb 2019

Cite this