Mauricio Alba-Castro

	2009
3		Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero: A Tool for Automated Certification of Java Source Code in Maude. Electr. Notes Theor. Comput. Sci. 248: 19-29 (2009)
	2008
2		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198
	2007
1		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217

Coauthor Index

1	María Alpuente	[1] [2] [3]
2	Santiago Escobar	[1] [2] [3]
3	Pedro Ojeda	[3]
4	Daniel Romero	[3]