000252019 001__ 252019
000252019 005__ 20181211092409.0
000252019 035__ $$a(lab)19
000252019 195__ $$aLARA$$bLaboratoire d'analyse et de raisonnement automatisés$$cLaboratory for Automated Reasoning and Analysis
000252019 270__ $$g177241$$mviktor.kuncak@epfl.ch$$pKuncak, Viktor$$0240031
000252019 272__ $$g177241$$mviktor.kuncak@epfl.ch$$0240031
000252019 271__ $$0(EPFLAUTH)(author)136624$$mraphael.grolimund@epfl.ch$$g136624$$pGrolimund, Raphael
000252019 371__ $$gU11739
000252019 680__ $$aMembers of LARA-unit
000252019 791__ $$aIINFCOM$$0252730
000252019 792__ $$aIC$$0252733
000252019 85641 $$uhttp://lara.epfl.ch/
000252019 980__ $$aLAB
000252019 980__ $$aAUTHORITY
000252019 981__ $$aUPDATED2