Georgiana Caltais

	2009
2		Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu: CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442
1		Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras: Patterns for Maude Metalanguage Applications. Electr. Notes Theor. Comput. Sci. 238(3): 121-138 (2009)

Coauthor Index

1	Oana Andrei	[1]
2	Eugen-Ioan Goriac	[1] [2]
3	Gheorghe Grigoras	[1]
4	Dorel Lucanu	[1] [2]
5	Grigore Rosu	[2]