Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Aleksandar Milicevic
Latest
αRby - An Embedding of Alloy in Ruby
Preventing Arithmetic Overflows in Alloy
Cite
×