• Model Checking Software Requir...

Treffer: Model Checking Software Requirement Specifications Using Domain Reduction Abstraction

Title:
Model Checking Software Requirement Specifications Using Domain Reduction Abstraction
Automated software engineering
Authors:
Choi, Y., Heimdahl, M.
Source:
IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING. :314-317
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN050248586&indx=1&recIds=ETOCCN050248586
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings