Non-termination and secure information flow Article

cited authors

  • Smith, Geoffrey; Alpizar, Rafael

fiu authors

publication date

  • 2011

Digital Object Identifier (DOI)

start page

  • 1183

end page

  • 1205

volume

  • 21

issue

  • 6

research area