Elena Petrova

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Dirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008)

2005

1 Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12

	2008
2		Dirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008)
	2005
1		Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12

Coauthor Index