Skip to content

Luis-Fernando Mejia

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2020–2020

Best venue rank

C

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2020FMICSThe First Twenty-Five Years of Industrial Use of the B-Method.Michael J. Butler, Philipp Krner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin