Reliable Software in Bioinformatics

Reliable Software in Bioinformatics: Sequence
Alignment with Coq, Ada and SPARK