Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses

[June 2023] Julien Tesson’s talk

Pratique professionnelle de git
SR3, June 9, 2023, 14:00

Author lmvadmPosted on 30 May 2023

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Post navigation

Previous Previous post: [May 2023] LMV Days

Next Next post: [June 2023] WG Domain Theory

News

[September 2023] First SeSTeRce Day
[August 2023] Two first papers at iFM and SEFM
[July 2023] Project AcceptAlgo has been accepted
[July 2023] Frédéric Gava’s talk
[June 2023] WG Domain Theory

Archives

September 2023
August 2023
July 2023
June 2023
May 2023
April 2023
March 2023
February 2023
December 2022
November 2022
October 2022
April 2022
March 2022
February 2022
December 2021
October 2021
June 2021
May 2021
March 2021
December 2020
November 2020
September 2020
June 2019

Presentation
Members
Projects
Publications
Software
Defended Theses

LMV Team Proudly powered by WordPress