Jérémy Milhau

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

1 EE Jérémy Milhau, Benoît Fraikin, Marc Frappier: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM 2009: 337-351

2009
1	EE	Jérémy Milhau, Benoît Fraikin, Marc Frappier: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM 2009: 337-351

Coauthor Index

1 Benoît Fraikin [1]

2 Marc Frappier [1]