A logic of functional programs with an application to concurrency
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Datalogi
Datum
1992Författare
Sander, Herbert P.
Publikationstyp
Doctoral thesis
ISBN
91-7032-642-8