Samoa Digital Library

Browsing by Subject "Verification techniques"

Browsing by Subject "Verification techniques"

Sort by: Order: Results:

  • Unknown author (Springer Nature, 2021)
    and Practice of Software. ETAPS is an annual federated conference established in 1998, and consists of four conferences: ESOP, FASE, FoSSaCS, and TACAS. Each conference has its own Program Committee (PC) and its own ...

Search DSpace

Browse

My Account