2 citations · 6 across the 5 of their papers we have counts for
Showing 2014 · cs.SEShow all
2 papers · 2 filters
cs.SE2014★ 2 cited
Transformation of Attributed Structures with Cloning (Long Version)
Dominique Duval, Rachid Echahed, Frederic Prost +1
Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is…
cs.SE2014
Proceedings First Latin American Workshop on Formal Methods
Nazareno Aguirre, Leila Ribeiro
Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Al…