%0 Generic
%T Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)
%A Lahav, Ori
%A Raad, Azalea
%A Tassarotti, Joseph
%A Vafeiadis, Viktor
%A Podkopaev, Anton
%A Ori Lahav and Azalea Raad and Joseph Tassarotti and Viktor Vafeiadis and Anton Podkopaev
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K verification
%K persistency
%K non-volatile-memory
%K concurrency
%K formal methods
%D 2024
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation