Formal Methods Wiki
Don't have an account?
Register
Register
in: History

VMoC

Edit

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

Community content is available under CC-BY-SA unless otherwise noted.