Conference paper
Flow Logics for Carmel
Language: | English |
---|---|
Publisher: | Informatics and Mathematical Modelling, Technical University of Denmark |
Year: | 2001 |
Proceedings: | The 13th Nordic Workshop on Programming Theory |
Types: | Conference paper |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Conference paper
Language: | English |
---|---|
Publisher: | Informatics and Mathematical Modelling, Technical University of Denmark |
Year: | 2001 |
Proceedings: | The 13th Nordic Workshop on Programming Theory |
Types: | Conference paper |
Analysis