Research - Software Technologies Research Group _188bet亚洲体育备用_188体育平台-投注*官网

University of Bamberg

www.uni-bamberg.de univis.uni-bamberg.de fis.uni-bamberg.de

Information Systems and Applied Computer Sciences

Software Technologies Research Group

Learning Data Structure Behaviour from Executions of Pointer Programs

Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic