| |
# of records = 18
homepages/r/XavierRival conf/popl/ChangR08 conf/sas/ChangRN07 conf/tase/CousotCFMMMR07 journals/toplas/RivalM07 journals/corr/abs-cs-0701193 conf/asian/CousotCFMMMR06 conf/aplas/Rival05 conf/esop/CousotCFMMMR05 conf/esop/MauborgneR05 conf/sas/Rival05 conf/popl/Rival04 journals/sttt/Rival04 conf/pldi/BlanchetCCFMMMR03 conf/vmcai/Rival03 conf/csl/MairsonR02 conf/birthday/BlanchetCCFMMMR02 conf/tphol/RivalG01
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)