• SMT-Based Software Model Check...

Treffer: SMT-Based Software Model Checking (Invited Talk)

Title:
SMT-Based Software Model Checking (Invited Talk)
SPIN; Model checking software
Authors:
Cimatti, A.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. 6349:1-3
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN077220020&indx=1&recIds=ETOCCN077220020
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings