Olivier Ponsini

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3): 363-401 (2005)

2002

1 Olivier Ponsini: Réécriture de programmes C--en équations logiques. JFPLC 2002: 241-

2005
2	EE	Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3): 363-401 (2005)
2002
1		Olivier Ponsini: Réécriture de programmes C--en équations logiques. JFPLC 2002: 241-

Coauthor Index