Gabriel Le Breton
According to our database1,
Gabriel Le Breton
authored at least 6 papers
between 2012 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
J. Log. Algebraic Methods Program., 2016
2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
2013
Proceedings of the 22nd International World Wide Web Conference, 2013
2012
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012