A PosterioriSoundness for Non-deterministic Abstract Interpretations.

Matthew Might Panagiotis Manolios A PosterioriSoundness for Non-deterministic Abstract Interpretations. 260-274 2009 VMCAI http://dx.doi.org/10.1007/978-3-540-93900-9_22 conf/vmcai/2009 db/conf/vmcai/vmcai2009.html#MightM09