a public good project by the
Synthesis
Company
of California

© 2026

T. Szmuc | doi.page

0 works0 citations0 h-index

Google Scholar OpenAlex

T. Szmuc

AGH University of Krakow(PL)

Research Areas

Logic, programming, and type systems, Formal Methods in Verification, Real-Time Systems Scheduling

Most-Cited Works

→ Relative Correctness of Real-Time Systems(1992)