Verifying probabilistic programs using a Hoare like logic

J.I. Hartog, den

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    11 Citaten (Scopus)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Verifying probabilistic programs using a Hoare like logic'. Samen vormen ze een unieke vingerafdruk.

    Computer Science

    Mathematics