A proof tool dedicated to clean - The first prototype

Autor: Mol, M.J. de, Eekelen, M.C.J.D. van, Nagl, M., Schurr, A., Munch, M.
Přispěvatelé: Nagl, M., Schurr, A., Munch, M.
Rok vydání: 2000
Předmět:
Zdroj: Lecture notes in computer science ; 1779, 271-278. Berlin : Springer
STARTPAGE=271;ENDPAGE=278;TITLE=Lecture notes in computer science ; 1779
Nagl, M.; Schurr, A.; Munch, M. (ed.), Applications of Graph Transformations with Industrial Relevance, Proceedings, pp. 271-278
Popis: Item does not contain fulltext
Databáze: OpenAIRE