Julien Auvray

According to our database, Julien Auvray authored at least 2 papers in 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Using context descriptions and property definition patterns for software formal verification.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Un langage de contexte de preuve pour la validation formelle de modèles logiciels.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008