%0 Generic
%T Verified Double Sided Auctions for Financial Markets
%A Natarajan, Raja
%A Sarswat, Suneel
%A Singh, Abhishek Kr
%A Raja Natarajan and Suneel Sarswat and Abhishek Kr Singh
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Double Sided Auction
%K Proof Assistant
%K Financial Markets
%K Formal Verification
%D 2021
%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