VMoC

The Virtual Museum of Computing (VMoC) has a number of resources including some relevant to formal methods, especially Pioneers of Computing.