• Abstract Matching for Software...

Treffer: Abstract Matching for Software Model Checking

Title:
Abstract Matching for Software Model Checking
Model checking of software
Authors:
de la Camara, P., del Mar Gallardo, M., Merino, P.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (3925):182-200
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN059686104&indx=1&recIds=ETOCCN059686104
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings