[IEEE 29th Annual International Computer Software and...

  • Main
  • [IEEE 29th Annual International...

[IEEE 29th Annual International Computer Software and Applications Conference (COMPSAC'05) - Edinburgh, Scotland (26-28 July 2005)] 29th Annual International Computer Software and Applications Conference (COMPSAC'05) - Towards Verification via Supercompilation

Lisitsa, A., Nemytykh, A.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
2
Année:
2005
Langue:
english
DOI:
10.1109/COMPSAC.2005.159
Fichier:
PDF, 66 KB
english, 2005
La conversion en est effectuée
La conversion en a échoué