Fabian Immler

ARCH@CPSIoTWeek, pp.41-61, (2019)

J. Autom. Reasoning, no. 2 (2019): 215-236

CPP '19: 8th ACM SIGPLAN International Conference on Certified Programs and Proofs Cascais ..., pp.65-77, (2019)

arXiv: Logic in Computer Science, (2018)

Archive of Formal Proofs, (2018)

ATVA, pp.75-90, (2018)

J. Autom. Reasoning, no. 1-4 (2018): 73-111

integrated formal methods, (2017)

IFM, pp.50-66, (2017)

ITP, pp.184-199, (2016)

NFM, pp.175-190, (2016)

conference on Interactive Theorem Proving, (2015)

NASA Formal Methods, pp.113-127, (2014)

ITP, pp.279-294, (2013)

ITP, pp.377-392, (2012)

Archive of Formal Proofs, (2012)

Archive of Formal Proofs, (2011)