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


Vol-1756/paper05⫷Vol-1756/paper06⫸Vol-1756/paper07
Peiyuan SunZinovy DiskinMichal AntkiewiczKrzysztof Czarnecki 0001

Modeling and Reasoning with Multirelations, and their encoding in Alloy