Vol-1755⫷ Vol-1756 ⫸Vol-1757
urn:nbn:de:0074-1756-0


Vol-1756/paper04⫷Vol-1756/paper05⫸Vol-1756/paper06
Mira BalabanPhillipa BennettGeri GeorgMartin GogollaIgal KhitronMichael KiferKhanh-Hoang Doan

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML