Vol-2012⫷ Vol-2013 ⫸Vol-2014
urn:nbn:de:0074-2013-0


Vol-2013/paper13⫷Vol-2013/paper14⫸Vol-2013/paper15
Silvio GhilardiElena Pagani

Second Order Quantifier Elimination: Towards Verification Applications