Publication Entry

[Back]

Talks and Poster Presentations (without Proceedings-Entry):

I. Dragan:
"Solving systems of linear inequalities using Bound Propagation in Vampire";
Talk: Alpine Verification Meeting, Trento, Italien; 2013-05-27 - 2013-05-29.

Created from the Publication Database of the Vienna University of Technology.