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 |
Externí odkaz: |