
@conference{Per08a,
  title = "Quantum entanglement analysis based on abstract interpretation",
  author = "S. Perdrix",
  year = "2008",
  booktitle = "&lt;A target="_blank" href="http://www.dsic.upv.es/~sas2008/"&gt;&lt;B&gt;SAS'08&lt;/B&gt;&lt;/A&gt;, the 15th International Static Analysis Symposium",
  url = "http://arxiv.org/abs/0801.4230",
}