NASA Formal Methods 2023
Tue 16 - Thu 18 May 2023 Houston, Texas, United States
  • Attending
    • Venue: University of Houston, Clear Lake
  • Program
    • NASA Formal Methods Program
    • Your Program
    • Tue 16 May
    • Wed 17 May
    • Thu 18 May
  • Track/Call
  • Organization
      • NASA Formal Methods 2023 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • NASA Formal Methods 2024
    • NASA Formal Methods 2023
    • NASA Formal Methods 2022
    • NASA Formal Methods 2021
    • NASA Formal Methods 2020
    • NASA Formal Methods 2019
    • NASA Formal Methods 2018
    • NASA Formal Methods 2017
    • NASA Formal Methods 2016
    • NASA Formal Methods 2015
    • NASA Formal Methods 2014
    • NASA Formal Methods 2013
    • NASA Formal Methods 2012
    • NASA Formal Methods 2011
    • NASA Formal Methods 2010
    • NASA Formal Methods 2009
    • 6th NASA Langley Formal Methods Workshop (LFM 2008)
    • 5th NASA Langley Formal Methods Workshop (LFM 2000)
    • 4th NASA Langley Formal Methods Workshop (LFM 1997)
    • 3rd NASA Langley Formal Methods Workshop (LFM 1995)
    • 2nd NASA Langley Formal Methods Workshop
    • 1st NASA Langley Formal Methods Workshop
  • Sign in
  • Sign up
NASA Formal Methods 2023 (series) / Cristina Seceleanu
  • conf.research.org general profile
  • * ICSE 2018 * profile
  • APSEC 2023 profile
  • ECBS 2023 profile
  • ECBS 2024 profile
  • FSE 2025 profile
  • FSEN 2025 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICST 2020 profile
  • ICST 2021 profile
  • ICST 2022 profile
  • ICST 2023 profile
  • ICST 2024 profile
  • ICST 2025 profile
  • ISSTA 2019 profile
  • ISSTA/ECOOP 2024 profile
  • MODELS 2020 profile
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
  • Requirements Engineering 2021 profile
  • SPLASH 2023 profile
  • STAF 2023 profile
Cristina Seceleanu

Registered user since Tue 17 Dec 2019

Name:Cristina Seceleanu
Country:Sweden
Affiliation:Mälardalen University
Personal website: http://www.es.mdh.se/staff/173-Cristina_Seceleanu

Contributions

2023

NFM

  • Committee Member in Program Committee within the NFM 2023-track

Show activities from other conferences

Share
NASA Formal Methods 2023-profile
View general profile
xSat 17 May 11:57

NASA Formal Methods 2023

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

NFM 2023

Attending

Venue: University of Houston, Clear Lake
Sign Up