αRby—An Embedding of Alloy in Ruby (English)
Free access
- New search for: Milicevic, Aleksandar
- New search for: Efrati, Ido
- New search for: Jackson, Daniel
- New search for: Milicevic, Aleksandar
- New search for: Efrati, Ido
- New search for: Jackson, Daniel
- Article (Journal) / Electronic Resource
-
Title:αRby—An Embedding of Alloy in Ruby
-
Contributors:
-
Publisher:
- New search for: Springer-Verlag
-
Publication date:2014
-
Remarks:Milicevic, Aleksandar, Ido Efrati, and Daniel Jackson. “αRby—An Embedding of Alloy in Ruby.” Abstract State Machines, Alloy, B, TLA, VDM, and Z (2014): 56–71.
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Licence:
-
Source: