Jochen Hoenicke - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Fri 1 Jul 2016

Name:Jochen Hoenicke

Country:Germany

Affiliation:Universität Freiburg

Personal website: http://swt.informatik.uni-freiburg.de/staff/hoenicke

Research interests:Software Modelchecking, Interpolation, SMT solver

Contributions

2019

VMCAI

Solving and Interpolating Constant Arrays Based on Weak Equivalences

Show activities from other conferences

POPL 2019-profile
View general profile

	
		OSZAR »