DMCA

Requirement Capture, Formal Description and Verification of a Business System: the Invoicing Case-Study (1998)

by Mihaela Sighireanu , Kenneth J. Turner
Citations:2 - 0 self