From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl / edited by Olaf Owe, Stein Krogdahl, Tom Lyche.
After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including...
Full description
Saved in: