Adalberto Farias (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

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

Selection of 3 from 3 records - Adalberto Farias has 4 coauthors

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)
1		Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSP_Z Data Abstraction. IFM 2004: 108-127