The first step forward to axiom-based property verification of P4 programs

Tóth, Gabriella [Tóth, Gabriella (Informatikai tudo...), author] Doctoral School of Informatics (ELTE / ELU FoI); Tejfel, Máté [Tejfel, Máté (Formális módszerek), author] Department of Programming Languages And Compilers (ELTE / ELU FoI / ICS)

English Abstract (Chapter in Book) Scientific
    Identifiers
    • MTMT: 31148438
    Fundings:
    • Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002)
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2025-02-13 06:36