John A. McDermid
-
Science and Substance: A Challenge to Software Engineers
IEEE Software
Processor Assignment and Execution Sequence for Multiversion Software
IEEE Transactions on Computers
Investigating the Influence of Formal Methods
Computer