Generating Alloy Specification
Kiramat Rahman; Shabaz Ahmed Khan Ghayure
Lap Lambert Academic Publishing
2012
nidottu