Vol-222⫷ Vol-223 ⫸Vol-224
urn:nbn:de:0074-223-0


Vol-223/paper-15⫷Vol-223/paper-16⫸Vol-223/paper-17
Francesco Viganò

A Metamodel for Verifying Institutions