Certus: glimpses of a centre for research-based innovation in software verification and validation.

Sagar Sen

Browse the full ICSE paper archive.