@article{Adetoye10a,
  title = "Static Analysis of Information Release in Interactive Programs",
  author = "Adedayo O. Adetoye and Nikolaos Papanikolaou",
  year = "2010",
  issn = "1863-2122",
  journal = "Electronic Communications of the EASST",
  note = "{A}utomated Verification of Critical Systems (AVoCS)",
  volume = "35",
}