Selected Extended Papers of ITP 2016: Preface

Jasmin Christian Blanchette, Stephan Merz*

*Corresponding author for this work

Research output: Contribution to JournalEditorialAcademicpeer-review

37 Downloads (Pure)
Original languageEnglish
Pages (from-to)169-170
Number of pages2
JournalJournal of Automated Reasoning
Volume62
Issue number2
Early online date12 Jun 2018
DOIs
Publication statusPublished - 15 Feb 2019

Cite this