Valérie-Anne Nicolas
According to our database1,
Valérie-Anne Nicolas
authored at least 4 papers
between 1998 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
J. Syst. Archit., 2022
1999
Proceedings of the Logic Programming Synthesis and Transformation, 1999
1998
Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test.
PhD thesis, 1998