
Generating Alloy Specification
- Alaotsikko
- From Textual User Requirements Written in Natural Language
- Kirjailija
- Kiramat Rahman, Shabaz Ahmed Khan Ghayure
- ISBN
- 9783659233210
- Kieli
- englanti
- Paino
- 149 grammaa
- Julkaisupäivä
- 1.10.2012
- Kustantaja
- Lap Lambert Academic Publishing
- Sivumäärä
- 88