• KeY: A Formal Method for Objec...

Treffer: KeY: A Formal Method for Object-Oriented Systems

Title:
KeY: A Formal Method for Object-Oriented Systems
Formal methods for open object-based distributed systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, proceedings
Authors:
Ahrendt, W., Beckert, B., Hahnle, R., Schmitt, P. H.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (4468):32-43
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN064599457&indx=1&recIds=ETOCCN064599457
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings