AsmL: Abstract State Machine Language

Established: November 2, 2001

Publications

Publications by Year

Publications by Research Area

Publications by Type

People

Portrait of Margus Veanes

Margus Veanes

Principal Researcher

Portrait of Tony Hoare

Tony Hoare

Emeritus Researcher