Virtual Library
Computing
Software engineering
Formal methods

ASM (Abstract State Machines) is a leading formal method. The approach was formerly known as Evolving Algebras.

Books[edit | edit source]

See also[edit | edit source]

External links[edit | edit source]

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