A methodology for refining formal software specification using transformation-based tools


Ph.D.Richard J. LeBlan

Similar works

Full text


Scholarly Materials And Research @ Georgia Tech

Provided original full text link
oaioai:smartech.gatech.edu:1853/8185Last time updated on 6/21/2012

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.