| |
# of records = 43
homepages/c/RCousot journals/iandc/CousotC09 conf/vmcai/Cousot08 conf/tase/CousotCFMMMR07 journals/corr/abs-cs-0701193 journals/entcs/CousotC07 conf/asian/CousotCFMMMR06 conf/birthday/CousotC06 conf/vmcai/2005 conf/esop/CousotCFMMMR05 journals/scp/Cousot05 conf/ifip/CousotC04 conf/popl/CousotC04 conf/sas/2003 conf/pldi/BlanchetCCFMMMR03 journals/tcs/CousotC03 conf/cav/CousotC02 conf/cc/CousotC02 conf/popl/CousotC02 conf/birthday/BlanchetCCFMMMR02 conf/emsoft/CousotC01 journals/entcs/CousotC01 conf/popl/CousotC00 journals/ase/CousotC99 conf/amast/CousotC97 conf/sas/1996 conf/cav/CousotC95 conf/fpca/CousotC95 conf/iccl/CousotC94 conf/ershov/CousotC93 journals/tcs/CousotC93 conf/plilp/CousotC92 conf/popl/CousotC92 journals/logcom/CousotC92 journals/jlp/CousotC92 conf/sas/CousotC91a conf/sas/CousotC91 journals/iandc/CousotC89 journals/acta/CousotC87 conf/icalp/CousotC80 conf/popl/CousotC79 conf/ldrs/CousotC77 conf/popl/CousotC77
Copyright © 2009-11-20 by Michael Ley (ley@uni-trier.de)