A formal approach to software error removal

Distribution-based statistical sampling: An approach to software functional test

Designing software for provable correctness: The direction for quality software

Editorial

Editorial

Burgh Districts and the Representation of Scotland, 1707–1983

Special issue on retinal development

Analysis of a cation-transporting ATPase of Plasmodium falciparum

Isolation and sequence analysis of a cDNA encoding an adenine nucleotide translocator from Plasmodium falciparum

shortform catalogue comp.