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

Springer

Edit

Springer is a publishing company that publishes academic computer science↑ books, including books concerning formal methods.

See also[]

External links[]

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