1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany) (Vol. 26). Forschungszentrum Jülich GmbH.
LibreCat