Vol-1230⫷ Vol-1231 ⫸Vol-1232
urn:nbn:de:0074-1231-0


Vol-1231/preface⫷Vol-1231/invited1⫸Vol-1231/invited2

A formal approach to autonomic systems programming: the SCEL language