michael-dyer documents

A formal approach to software error removal
Documents A formal approach to software error removal
Distribution-based statistical sampling: An approach to software functional test
Documents Distribution-based statistical sampling: An approach to software functional test
Designing software for provable correctness: The direction for quality software
Documents Designing software for provable correctness: The direction for quality software
Editorial
Documents Editorial
Editorial
Documents Editorial
Burgh Districts and the Representation of Scotland, 1707–1983
Documents Burgh Districts and the Representation of Scotland, 1707–1983
Special issue on retinal development
Documents Special issue on retinal development
Analysis of a cation-transporting ATPase of Plasmodium falciparum
Documents Analysis of a cation-transporting ATPase of Plasmodium falciparum
Isolation and sequence analysis of a cDNA encoding an adenine nucleotide translocator from Plasmodium falciparum
Documents Isolation and sequence analysis of a cDNA encoding an adenine nucleotide translocator from Plasmodium falciparum
shortform catalogue comp
Documents shortform catalogue comp