BoKSS 2021
Tue 1 - Wed 2 June 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
BoKSS Program
Your Program
Tue 1 Jun
Wed 2 Jun
Track/Call
Organization
BoKSS 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2021
(
series
) /
BoKSS 2021 (
series
) /
Pascale Le Gall
ICSE 2021 profile
conf.research.org general profile
ECOOP 2022 profile
ICSE 2024 profile
ICTSS 2023 profile
Registered user since Thu 17 Nov 2022
Name:
Pascale Le Gall
Country:
France
Affiliation:
CentraleSupelec
Contributions
2021
FormaliSE
Methodology for Specification and Verification of High-Level Properties with MetAcsl
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Sat 23 Nov 17:12