Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges

Lars B. van den Haak (Corresponderende auteur), Anton Wijs, Marieke Huisman, Mark van den Brand

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

Vingerafdruk

Duik in de onderzoeksthema's van 'Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges'. Samen vormen ze een unieke vingerafdruk.

Computer Science