Selected Extended Papers of ITP 2016: Preface - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Automated Reasoning Year : 2019

Dates and versions

hal-02395177 , version 1 (05-12-2019)

Identifiers

Cite

Jasmin Christian Blanchette, Stephan Merz. Selected Extended Papers of ITP 2016: Preface. Journal of Automated Reasoning, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩. ⟨hal-02395177⟩
20 View
65 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More