The FMICS view on the verified software repository

Alvaro E. Arenas
, Juan C. Bicarregui
, Tiziana Margaria

Rutherford Appleton Laboratory
University of Potsdam

Research output: Contribution to journal › Article › peer-review

Sort by

Computer Science