Assurance Provenance: The Next Challenge in Software Documentation.

Gabor Karsai, Daniel Balasubramanian

Browse the full ISoLA paper archive.