Fast Probabilistic Simulation, Nontermination, and Secure Information Flow Conference

Smith, Geoffrey, Alpizar, Rafael. (2007). Fast Probabilistic Simulation, Nontermination, and Secure Information Flow . 67-71. 10.1145/1255329.1255341

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • PROGRAMS
  • Science & Technology
  • Technology
  • probabilistic noninterference
  • type systems

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

start page

  • 67

end page

  • 71