Geeks
kframework
/
java-semantics
The semantics of Java in K
Primary Language
Java
java-semantics GitHub
Markdown
Readme
27
Issues
19
Stargazers
13
Watchers
Watchers
andreistefanescu
@GaloisInc
billhibazzz
bmmoore
dlucanu
Alexandru Ioan Cuza University of Iasi
eemailme
ehildenb
grosu
University of Illinois at Urbana-Champaign
jhcloos
kensh
laurayuwen
pmackay1982
radumereuta
RuntimeVerification
zorozy