presentation.bbl

% $ biblatex auxiliary file $
% $ biblatex bbl format version 3.1 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated by
% biber as required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
  {\@latex@error
     {Missing 'biblatex' package}
     {The bibliography requires the 'biblatex' package.}
      \aftergroup\endinput}
  {}
\endgroup


\refsection{0}
  \datalist[entry]{nty/global//global/global}
    \entry{sel4}{misc}{}
      \field{sortinit}{s}
      \field{sortinithash}{c319cff79d99c853d775f88277d4e45f}
      \field{labeltitlesource}{title}
      \field{howpublished}{\url{https://sel4.systems/}}
      \field{title}{sel4.systems}
    \endentry
    \entry{TLA+}{misc}{}
      \field{sortinit}{U}
      \field{sortinithash}{77a6935510e008adcf5b555e7b4f0711}
      \field{labeltitlesource}{title}
      \field{howpublished}{\url{http://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf}}
      \field{title}{Use of Formal Methods at Amazon Web Services}
    \endentry
  \enddatalist
\endrefsection
\endinput