Secure Systems Development -- The Evolving Integration of Validation and Verification.

Klaus P. Jantke, Oliver Keller

Browse the full FlAIRS paper archive.