Access to raw data
This is an update request for the document A JML-Based strategy for incorporating formal specifications into the software development process
by João Miguel Alves Pestana
Your paper was deposited in Digituma
and appears online at
Before we are able to make any updates or deletions, you must
ensure that the original record at this location is updated/removed.