Adalberto Farias

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Adriana Damasceno, Adalberto Farias, Alexandre Mota: A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF 2009: 118-133

2 André Didier, Adalberto Farias, Alexandre Mota: Checking Z Data Refinements Using Traces Refinement. Electr. Notes Theor. Comput. Sci. 240: 129-148 (2009)

2004

1 Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSP_Z Data Abstraction. IFM 2004: 108-127

	2009
3		Adriana Damasceno, Adalberto Farias, Alexandre Mota: A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF 2009: 118-133
2		André Didier, Adalberto Farias, Alexandre Mota: Checking Z Data Refinements Using Traces Refinement. Electr. Notes Theor. Comput. Sci. 240: 129-148 (2009)
	2004
1		Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSP_Z Data Abstraction. IFM 2004: 108-127

Coauthor Index

1	Adriana Damasceno	[3]
2	André Didier	[2]
3	Alexandre Mota (Alexandre Cabral Mota)	[1] [2] [3]
4	Augusto Sampaio	[1]