[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - A formalism for describing modeling transformations for verification
- 作者Asztalos, Márk; Lengyel, László; Levendovszky, Tihamér
- 文件大小250.31KB
- 发表时间2009
- DOI10.1145/1656485.1656487
- 页码1-10
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - iTasksPlasmeijer, Rinus; Achten, Peter; Koopman, Pieter · 2007
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - McErlangFredlund, Lars-Åke; Svensson, Hans · 2007
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Functional pearlHerman, David · 2007
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Experience reportFrenzel, Leif · 2007
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Experience reportWazny, Jeremy · 2007
[ACM Press the 2007 ACM SIGMOD international conference - Beijing, China (2007.06.11-2007.06.14)] Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07 - ConExMishra, Chaitanya; Volkovs, Maksims · 2007
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Experience reportCooper, Jonathan; McKeever, Steve · 2007
[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Experience reportWelsh, Noel; Gurnell, David · 2007