A provenly correct translation of Fickle into Java

  • D. Ancona
  • , C. Anderson
  • , F. Damiani
  • , S. Drossopoulou
  • , P. Giannini
  • , E. Zucca

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A provenly correct translation of Fickle into Java'. Together they form a unique fingerprint.
Sort by

Keyphrases

Arts and Humanities

Computer Science