Abstraction of formal specifications from program code.

Betty H. C. Cheng, Gerald C. Gannod

Browse the full ICTAI paper archive.