Login / Signup
Bertrand Boisvert
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Text Mining
Similarity Search
Attributed Graphs
Top Venues
MODELSWARD
</>
Publications
</>
Bertrand Boisvert
,
Louis Féraud
,
Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification.
MODELSWARD
(2013)
Bertrand Boisvert
,
Louis Féraud
,
Sergei Soloviev
Typed lambda-terms in categorical attributed graph transformation
AMMSE
(2011)