We stand with Ukraine  

Bertrand Boisvert

According to our database1, Bertrand Boisvert authored at least 2 papers between 2011 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification.
[BibTeX]
[DOI]
Bertrand Boisvert
,
Louis Féraud
,
Sergei Soloviev
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

2011
Typed lambda-terms in categorical attributed graph transformation
[BibTeX]
[DOI]
Bertrand Boisvert
,
Louis Féraud
,
Sergei Soloviev
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011


  Loading...