This site uses cookies. By continuing to browse the site you are agreeing to our use of cookies.

Essence - Kernel and Language for 
Software Engineering Methods (Essence)

 

Formal Version(s) of Essence

 

Version

Release date

URL

1.1

December 2015

http://semat.org/essence-1.1

1.0

November 2014

http://semat.org/essence-1.0