close×
  • Home
  • Uncategorized
  • ACTA: a framework for specifying and reasoning about transaction structure and behavior

ACTA: a framework for specifying and reasoning about transaction structure and behavior

Panayiotis K. Chrysanthis, Krithi Ramamritham

Available in: PDF

90 Downloads