Login / Signup
Richard Banach
ORCID
Publication Activity (10 Years)
Years Active: 1988-2024
Publications (10 Years): 36
Top Topics
Hybrid Systems
Environmental Information
Invariant Representation
Formal Methods
Top Venues
Sci. Comput. Program.
ABZ
J. Softw. Evol. Process.
ICFEM
</>
Publications
</>