Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Theoretical Computer Science
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |