Adriana Damasceno

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

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

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

Coauthor Index

1	Adalberto Farias	[1]
2	Alexandre Mota (Alexandre Cabral Mota)	[1]