Vingerafdruk
Duik in de onderzoeksthema's van 'A proof repository for formal verification of software'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
A proof repository for formal verification of software
M.G.J. Franssen
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
82
Downloads
(Pure)