• Specifying Compositional Units...

Treffer: Specifying Compositional Units for Correct Program Development in Computational Logic

Title:
Specifying Compositional Units for Correct Program Development in Computational Logic
Program Development in Computational Logic
Authors:
Lau, K.-K., Ornaghi, M.
Source:
LECTURE NOTES IN COMPUTER SCIENCE.. (3049):1-29
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN152715893&indx=1&recIds=ETOCRN152715893
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings