Escaping with future variables in HALO

  • Authors:
  • Charlotte Herzeel;Kris Gybels;Pascal Costanza

  • Affiliations:
  • Vrije Universiteit Brussel;Vrije Universiteit Brussel;Vrije Universiteit Brussel

  • Venue:
  • RV'07 Proceedings of the 7th international conference on Runtime verification
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract