by Vu, Linh Hong, Haxthausen, Anne E., Peleska, Jan
Published in Science of computer programming (01.01.2017)

by Braunstein, Cécile, Haxthausen, Anne E., Huang, Wen-ling, Hübner, Felix, Peleska, Jan, Schulze, Uwe, Vu Hong, Linh
Published in Formal Methods and Software Engineering (2014)