Completely validated software: mathematics-based software engineering for completely validated software (panel session)
Keyword(s):