Ido Efrati

According to our database, Ido Efrati authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

αRby - An Embedding of Alloy in Ruby.

Aleksandar Milicevic, Ido Efrati, Daniel Jackson

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014