Objects and classes in Algol-like languages
Information and Computation - FOOL V
Dynamic graphical UML views from formal B specifications
Information and Software Technology
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
| Hi-index | 0.00 |