Author:
Roșu Grigore,Șerbănută Traian Florin
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference43 articles.
1. Automatic certification of Java source code in rewriting logic;Alba-Castro,2007
2. M. Alba-Castro, M. Alpuente, S. Escobar, P. Ojeda, D. Romero, A tool for automated certification of Java source code in Maude, in: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages (PROLE 2008), Electronic Notes Theoretical Computer Science, vol. 248, 2009, pp. 19–29.
3. The GAMMA model and its discipline of programming;Banâtre;Sci. Comput. Programming,1990
4. A calculus of looping sequences for modelling microbiological systems;Barbuti;Fundam. Inform.,2006
5. The chemical abstract machine;Berry;Theoret. Comput. Sci.,1992
Cited by
277 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献