Author:
Camilleri John J.,Paganelli Gabriele,Schneider Gerardo
Publisher
Springer International Publishing
Reference15 articles.
1. Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G.: Specification and Verification of Normative texts using C-O Diagrams. IEEE Transactions on Software Engineering (2013)
2. Martínez, E., Cambronero, E., Diaz, G., Schneider, G.: A Model for Visual Specification of e-Contracts. In: IEEE SCC 2010, pp. 1–8. IEEE Computer Society (2010)
3. Ranta, A.: Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford (2011)
4. Ranta, A.: The GF Resource Grammar Library. Linguistic Issues in Language Technology 2(2) (2009)
5. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (2014)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献