Proving the Correctness of Recursion-Based Automatic Program Transformations

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  • D. Sands
OriginalsprogEngelsk
TitelSixth International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Lecture Notes in Computer Science, 915
ForlagSpringer
Publikationsdato1995
Sider681-695
StatusUdgivet - 1995

ID: 235281