From Object-Orientation to Formal Methods [E-Book] : Essays in Memory of Ole-Johan Dahl / by Olaf Owe, Stein Krogdahl, Tom Lyche.
Owe, Olaf.
Krogdahl, Stein. / Lyche, Tom.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
9783540213666
Lecture Notes in Computer Science ; 2635
Full Text
Description not available.