Alexandra Maillard

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

2 Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Automatically Proving Program Properties. J. Log. Program. 37(1-3): 77-93 (1998)

1996

1 Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Proving Program Properties. Frontiers of Combining Systems (FroCos) 1996: 321-338

	1998
2		Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Automatically Proving Program Properties. J. Log. Program. 37(1-3): 77-93 (1998)
	1996
1		Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Proving Program Properties. Frontiers of Combining Systems (FroCos) 1996: 321-338

Coauthor Index