Write a Blog >>
MOBILESoft 2021
Mon 17 - Wed 19 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
ICSE 2021
Registration
Authors
Code of Conduct
Diversity and Inclusion Plan
PDF Program
Proceedings
Networking
Program
MOBILESoft Program
Your Program
Mon 17 May
Tue 18 May
Wed 19 May
Tracks
MOBILESoft 2021
Plenary
Technical Papers
Tool Demos and Mobile Apps
Visions
Organization
MOBILESoft 2021 Committees
Organizing Committee
Track Committees
Technical Papers
Tool Demos and Mobile Apps
Visions
Contributors
People Index
Search
Series
Series
MOBILESoft 2025
MOBILESoft 2024
MOBILESoft 2023
MOBILESoft 2022
MOBILESoft 2021
MOBILESoft 2020
MOBILESoft 2019
MobileSoft 2018
Sign in
Sign up
ICSE 2021
(
series
) /
MOBILESoft 2021
(
series
) /
Giovanna Broccia
ICSE 2021 profile
conf.research.org general profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
REFSQ 2024 profile
Requirements Engineering 2024 profile
Requirements Engineering 2025 profile
Registered user since Fri 9 Apr 2021
Name:
Giovanna Broccia
Country:
Italy
Affiliation:
ISTI-CNR, FMT Lab
Contributions
2021
FormaliSE
Feasibility of Spatial Model Checking for Nevus Segmentation
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Fri 27 Dec 18:00