Login / Signup

Verifying stateful programs with substructural state and hoare types.

Johannes BorgströmJuan ChenNikhil Swamy
Published in: PLPV (2011)
Keyphrases
  • databases
  • decision making
  • multi agent
  • search algorithm
  • computer programs