Towards an automated tool for software certification.

Dimitris Christodoulakis, Christos Tsalidis, C. J. M. van Gogh, V. W. Stinesen

Browse the full ICTAI paper archive.