Samoa Digital Library

Browsing Books by Subject "Verification techniques"

Browsing Books 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 ...

Saili Sadil


Vaavaai

O a'u faʻamatalaga