Personal information

Other IDs

Scopus Author ID: 57210221207

Activities

Collapse all

Works (2)

PeachPie: Mature PHP to CLI compiler

Journal of Computer Languages
2022-12 | Journal article
DOI: 10.1016/j.cola.2022.101152
Contributors: Robert Husák; Jakub Míšek; Filip Zavoral; Jan Kofroň
Source: check_circle
Crossref

Source code assertion verification using backward symbolic execution

AIP Conference Proceedings
2019 | Conference paper
DOI: 10.1063/1.5114357
EID:

2-s2.0-85069953243
Contributors: Husák, R.; Zavoral, F.
Source: Self-asserted source
Robert Husák via Scopus - Elsevier
How many people are using ORCID?