Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
The simulation semantics of systemC
Proceedings of the conference on Design, automation and test in Europe
The formal execution semantics of SpecC
Proceedings of the 15th international symposium on System Synthesis
Evolving databases: an application to electronic commerce
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
| Hi-index | 0.00 |