|
Lecomte, Thierry,
|
2016
Brazilian Symposium on Formal Methods (19th : 2016 : Natal, Brazil)
Cham, Switzerland : Springer, 2016
Rating:
|
2022
RSSRail (Conference) (4th : 2022 : Paris, France)
Cham : Springer, [2022]
Rating:
|
2023
RSSRail (Conference) (5th : 2023 : Berlin, Germany)
Cham : Springer, 2023
Rating:
|
2016
RSSRail (Conference) (1st : 2016 : Paris, France)
Switzerland : Springer, 2016
Rating:
|
2017
RSSRail (Conference) (2nd : 2017 : Pistoia, Italy)
Cham : Springer, 2017
Rating:
|
2019
RSSRail (Conference) (3rd : 2019 : Lille, France)
Cham, Switzerland : Springer, 2019
Rating:
|
Add Marked to Bag
Add All On Page
|
|