mtmt
The Hungarian Scientific Bibliography
XML
JSON
Public search
Magyarul
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
Published:
Iványi Péter. Abstract book for the 15th Miklós Iványi International PhD & DLA Symposium: Architectural, Engineering and Information Sciences. (2019) ISBN:9789634294498
p. 150
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:
IEEE
ACM
APA
Chicago
Harvard
CSL
Copy
Print
2025-02-13 06:36
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy