• Sign in
  • Sign up
conf.researchr.org / Sophie Lathouwers
  • ICSE 2022 profile
  • MODELS 2022 profile

Registered user since Thu 6 Oct 2022

Name:Sophie Lathouwers

Contributions

2022

MODELS

  • Author of Modelling Program Verification Tools for Software Engineers within the Technical Track-track
  • Author of Modelling Program Verification Tools for Software Engineers within the Posters-track

FormaliSE

  • Author of Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers within the FormaliSE 2022-track
Share
xSun 7 Sep 02:42
using conf.researchr.org (v1.70.0)
Support page
Sign Up