A methodology for refining formal software specification using transformation-based tools
Full text
Last time updated on 21/06/2012
This paper was published in Scholarly Materials And Research @ Georgia Tech.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.