Cristian Gherghina

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Cristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50

1 Cristian Gherghina, Cristina David: Automated Verification Using Unified Control Flows. TASE 2009: 323-324

	2009
2		Cristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50
1		Cristian Gherghina, Cristina David: Automated Verification Using Unified Control Flows. TASE 2009: 323-324

Coauthor Index

1 Wei-Ngan Chin [2]

2 Cristina David [1] [2]