Program composition via unification
Limor Fix, Nissim Francez, Orna GrumbergVolume:
131
Year:
1994
Language:
english
Pages:
41
DOI:
10.1016/0304-3975(94)90093-0
File:
PDF, 2.28 MB
english, 1994