Proceedings of the 16th European conference on Programming

  • Authors:

  • Rocco De Nicola

  • Affiliations:

  • Dipartimento di Sistemi e Informatica, Università di Firenze, Firenze, Italy

  • Venue:
  • ESOP'07 Proceedings of the 16th European conference on Programming
  • Year:
  • 2007

  • Improving strategies via SMT solving

    ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software

Quantified Score

Hi-index 0.00

Visualization

Abstract