The Flow Logic of Imperative Objects

Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Conference	Proc. MFCS'98
Period	01/01/1998 → …

OpenUrl availability

@inproceedings{ad87a0db96fd4d0e8951bc0e8e86e328,

title = "The Flow Logic of Imperative Objects",

author = "Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "1998",

language = "English",

pages = "220--228",

booktitle = "Proc. MFCS'98",

publisher = "Springer Verlag",

address = "Germany",

note = "Proc. MFCS'98 ; Conference date: 01-01-1998",

}